[go: up one dir, main page]
Menu ▾ ▴

[628da0]: / core / levels.txt  Maximize  Restore  History

Download this file

300 lines (299 with data), 48.7 kB 

  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
(difficulty 2, time 0): (A->A)

(difficulty 12, time 0): (O->((O->A)->A))

(difficulty 13, time 0): (_|_->A)

(difficulty 20, time 1): (((K->K)->B)->B)

(difficulty 21, time 1): (((F->_|_)->_|_)->F)

(difficulty 22, time 1): (((G->(E->G))->H)->H)

(difficulty 24, time 1): (((M->D)->B)->(D->B))

(difficulty 24, time 1): ((B->_|_)->(B->A))

(difficulty 24, time 1): (A->((A->_|_)->H))

(difficulty 25, time 1): (((E->(J->(K->J)))->Q)->(G->Q))

(difficulty 28, time 1): (((A->(E->(Q->G)))->D)->(G->D))

(difficulty 31, time 1): (((P->A)->P)->((P->A)->A))

(difficulty 31, time 1): (D->(((C->((C->G)->G))->_|_)->_|_))

(difficulty 32, time 1): ((((A->_|_)->_|_)->_|_)->(A->_|_))

(difficulty 32, time 1): ((K->((A->(D->((_|_->E)->H)))->_|_))->(((_|_->E)->H)->H))

(difficulty 52, time 1): (((((Q->_|_)->_|_)->Q)->_|_)->(A->C))

(difficulty 53, time 1): (((J->D)->((B->(C->B))->E))->((J->D)->E))

(difficulty 55, time 7): ((((((F->(D->Q))->B)->Q)->(((F->(D->Q))->B)->B))->H)->H)

(difficulty 58, time ?): (((E->(((F->C)->_|_)->((((B->J)->_|_)->_|_)->_|_)))->J)->(((B->J)->_|_)->_|_))

(difficulty 62, time 3): (((F->(E->E))->((P->((N->J)->(K->(N->J))))->B))->B)

(difficulty 63, time 2): (N->(((F->(B->(H->(E->E))))->((G->(P->P))->D))->D))

(difficulty 82, time 2): (I->(((J->(O->J))->(I->(I->C)))->C))

(difficulty 87, time 2): (((((B->_|_)->_|_)->_|_)->_|_)->((B->K)->K))

(difficulty 87, time 2): ((B->_|_)->(((((B->_|_)->P)->_|_)->B)->P))

(difficulty 88, time 2): ((((((G->_|_)->_|_)->G)->E)->_|_)->_|_)->E

(difficulty 88, time 2): (M->(((((B->B)->_|_)->_|_)->((B->B)->_|_))->C))

(difficulty 92, time 1): (((A->B)->A)->A)

(difficulty 93, time 1): (B->(((A->_|_)->(B->A))->A))

(difficulty 93, time 2): ((J->((M->(D->(B->(A->A))))->((L->L)->G)))->(J->G))

(difficulty 93, time 6): (((B->(G->(D->(O->(A->A)))))->((((K->(H->K))->_|_)->M)->C))->C)

(difficulty 98, time 1): ((A->(((A->_|_)->_|_)->H))->(((A->_|_)->_|_)->H))

(difficulty 100, time 1): (((((D->_|_)->_|_)->(B->_|_))->_|_)->((((B->_|_)->_|_)->(D->_|_))->_|_))

(difficulty 109, time 2): (I->((I->((D->I)->((L->(E->L))->_|_)))->Q))

(difficulty 109, time 5): (((O->(J->(E->E)))->(((H->D)->(B->_|_))->_|_))->(H->D))

(difficulty 120, time 2): (((D->_|_)->_|_)->(((Q->(H->D))->((N->(E->N))->J))->J))

(difficulty 125, time 2): ((((B->(P->B))->(Q->((A->(M->M))->_|_)))->Q)->(((B->(P->B))->(Q->((A->(M->M))->_|_)))->I))

(difficulty 127, time 5): (F->(N->D))->(C->(F->(B->((P->N)->((F->((P->N)->P))->D)))))

(difficulty 128, time 1): ((((_|_->_|_)->(H->F))->H)->(((_|_->_|_)->(H->F))->F))

(difficulty 128, time 2): (((((D->(A->(L->L)))->C)->_|_)->((((G->G)->_|_)->_|_)->_|_))->C)

(difficulty 129, time 2): (((((A->_|_)->((A->C)->_|_))->_|_)->_|_)->((A->C)->C))

(difficulty 137, time 2): ((((A->B)->_|_)->(A->B))->(A->B))

(difficulty 141, time 3): ((((B->_|_)->_|_)->(B->((C->(I->(K->I)))->J)))->(((B->_|_)->_|_)->J))

(difficulty 143, time 4): ((((H->H)->(A->((B->_|_)->((B->_|_)->_|_))))->A)->(((H->H)->(A->((B->_|_)->((B->_|_)->_|_))))->B))

(difficulty 150, time 10): 7,4,4,3,4,-7345900925305837655: (((((C->(N->N))->E)->_|_)->((((L->_|_)->_|_)->L)->F))->((F->_|_)->E))

(difficulty 150, time 4): 7,3,3,4,4,-8470644658496044999: (((A->A)->(O->(((O->_|_)->((O->_|_)->_|_))->_|_)))->(((O->_|_)->((O->_|_)->_|_))->L))

(difficulty 151, time 12): 7,3,1,2,4,6937979891407090703: (((((Q->_|_)->_|_)->_|_)->(((E->B)->B)->_|_))->(((E->_|_)->((E->_|_)->_|_))->Q))

(difficulty 151, time 2): 11,2,3,3,5,7514922487446141598: (((((E->(M->M))->((B->B)->C))->_|_)->((_|_->_|_)->_|_))->(H->C))

(difficulty 151, time 2): 7,3,4,4,4,4473526921244620275: (((((C->(L->L))->Q)->_|_)->((C->(L->L))->Q))->(H->Q))

(difficulty 151, time 4): 10,1,3,2,5,249145796628467128: (((((M->(F->(J->J)))->D)->_|_)->((M->(F->(J->J)))->D))->D)

(difficulty 151, time 4): 7,3,2,5,4,3676542933237852344: (G->((((E->(E->O))->(E->O))->((I->_|_)->_|_))->I))

(difficulty 151, time 4): 8,3,2,3,4,-2894825437997339654: ((B->((L->(Q->(J->Q)))->F))->(((B->_|_)->((E->E)->((B->_|_)->_|_)))->F))

(difficulty 152, time 10): 9,1,2,5,4,-7087287012098202786: (((((M->C)->((N->N)->M))->C)->A)->((((M->C)->((N->N)->M))->(M->C))->A))

(difficulty 152, time 4): 11,1,2,3,4,-405067981116955887: (((((C->(K->(B->K)))->O)->_|_)->((H->(P->P))->((J->(G->G))->_|_)))->O)

(difficulty 153, time 13): 10,2,1,2,4,-456391970109627531: (((((O->_|_)->((O->_|_)->L))->_|_)->_|_)->(((((M->M)->A)->A)->(L->_|_))->O))

(difficulty 153, time 3): 7,2,2,4,5,8516598760985323808: (((((G->G)->J)->_|_)->_|_)->(((((C->C)->(J->P))->_|_)->_|_)->P))

(difficulty 153, time 8): 8,5,1,3,4,-5176026703549835181: (((((L->_|_)->Q)->Q)->(((L->_|_)->((L->_|_)->H))->(H->_|_)))->(((L->_|_)->((L->_|_)->H))->L))

(difficulty 153, time 8): 8,5,1,4,2,-5390401129311836608: (((((D->_|_)->_|_)->D)->((((D->_|_)->_|_)->D)->((((D->_|_)->_|_)->D)->_|_)))->_|_)

(difficulty 153, time 9): 6,4,2,5,4,4374505050335277934: (((((O->_|_)->((O->_|_)->_|_))->_|_)->((((O->_|_)->((O->_|_)->_|_))->_|_)->_|_))->O)

(difficulty 154, time 3): 9,2,3,2,5,8813320264160094665: (((L->L)->((J->J)->(B->F)))->(((O->O)->((M->M)->B))->F))

(difficulty 154, time 4): 8,3,2,3,5,4447515810695629570: ((((((Q->_|_)->_|_)->(((Q->_|_)->_|_)->K))->K)->(Q->H))->(((Q->_|_)->_|_)->H))

(difficulty 155, time 5): (((O->_|_)->(J->_|_))->(((((O->_|_)->J)->_|_)->((J->_|_)->_|_))->O))

(difficulty 156, time 2): 11,3,4,4,5,9148683635604407033: ((E->(E->N))->(((Q->_|_)->((E->N)->_|_))->Q))

(difficulty 156, time 3): 6,3,1,2,4,-7905059804086718610: (I->(((M->_|_)->(I->((M->_|_)->((M->_|_)->M))))->M))

(difficulty 157, time 4): 7,2,3,3,4,6245763132720104973: (((((B->_|_)->B)->B)->((F->(D->D))->M))->M)

(difficulty 157, time 7): 8,3,1,3,5,-4058446711657829889: ((((F->((A->_|_)->_|_))->_|_)->(((F->((A->_|_)->_|_))->_|_)->_|_))->(F->A))

(difficulty 158, time 16): (((((L->_|_)->_|_)->(L->((A->L)->E)))->L)->((((L->_|_)->_|_)->(L->((A->L)->E)))->E))

(difficulty 158, time 4): 8,3,2,5,3,9174834424147012561: ((((((E->_|_)->_|_)->(((E->_|_)->_|_)->(E->B)))->_|_)->_|_)->(((E->_|_)->_|_)->B))

(difficulty 159, time 3): 7,4,1,4,3,7194530993517328463: (((O->O)->(F->((((E->_|_)->E)->E)->_|_)))->(((F->_|_)->_|_)->G))

(difficulty 160, time 4): 10,2,2,2,3,3378748115962337731: (((((D->_|_)->_|_)->(F->D))->(A->(((A->_|_)->_|_)->_|_)))->(A->_|_))

(difficulty 160, time 5): 6,2,1,2,4,-9147721293890492094: (((B->_|_)->_|_)->((((B->K)->_|_)->(((B->K)->_|_)->_|_))->K))

(difficulty 160, time 5): 6,3,1,3,4,1952884675093842147: (((J->_|_)->_|_)->((((J->O)->_|_)->(((J->O)->_|_)->_|_))->O))

(difficulty 161, time 3): 10,3,2,4,4,-4575909514944033652: (((((_|_->H)->((_|_->(N->G))->A))->_|_)->J)->((J->_|_)->A))

(difficulty 162, time 7): 10,2,1,2,4,3043141404916896230: (O->((((O->(O->_|_))->_|_)->(((O->(O->_|_))->_|_)->_|_))->C))

(difficulty 163, time 3): 25,3,3,3,5,-7034302524823555583: (((((G->G)->((B->B)->_|_))->_|_)->((E->E)->((C->C)->_|_)))->I)

(difficulty 163, time 49): 9,2,1,1,5,4092810619231295868: (((((E->_|_)->((E->_|_)->_|_))->_|_)->((I->(A->A))->((G->((G->B)->B))->_|_)))->E)

(difficulty 164, time 2): 8,1,2,5,3,665999400715752307: (((M->(M->F))->((M->F)->G))->((M->(M->F))->G))

(difficulty 166, time 9): 8,1,1,3,3,-6486240379487788118: (((F->(F->Q))->((((F->(F->Q))->(F->(F->Q)))->(F->(F->Q)))->F))->((F->(F->Q))->Q))

(difficulty 167, time 12): ((((((B->G)->((B->G)->B))->(((B->G)->G)->F))->_|_)->_|_)->(((B->G)->((B->G)->B))->F))

(difficulty 168, time 8): 10,1,2,3,4,4024805771278254074: ((((L->L)->((O->O)->(M->B)))->(((L->L)->((O->O)->(M->B)))->(((L->L)->((O->O)->(M->B)))->M)))->(((L->L)->((O->O)->(M->B)))->B))

(difficulty 168, time 9): 11,4,1,2,4,5603271146237738604: (((((J->_|_)->((B->B)->_|_))->_|_)->((((J->_|_)->((B->B)->_|_))->_|_)->_|_))->J)

(difficulty 169, time 56): 8,2,1,1,3,-5653520107139518326: ((((F->((Q->Q)->I))->(F->I))->(((F->((Q->Q)->I))->(F->I))->_|_))->(P->L))

(difficulty 170, time 2): 6,2,1,4,5,5301423620376610185: ((F->N)->(((F->_|_)->((F->_|_)->F))->N))

(difficulty 170, time 4): 8,1,2,2,4,-191205054548875837: (N->((((B->(B->F))->(B->F))->((D->D)->L))->L))

(difficulty 170, time 5): 11,3,4,2,3,7527886157256312586: (((((M->(_|_->O))->B)->_|_)->((((M->(_|_->O))->B)->_|_)->_|_))->B)

(difficulty 171, time 2): 6,3,1,3,4,-5569342940114362325: (((O->_|_)->((K->_|_)->O))->((((O->_|_)->((K->_|_)->O))->(O->_|_))->K))

(difficulty 171, time 3): 6,2,4,4,4,5987821234796930849: (((((H->H)->C)->_|_)->A)->((A->((H->H)->C))->C))

(difficulty 171, time 3): 8,2,5,4,4,-4446816422472852542: (((((O->O)->L)->_|_)->B)->((B->((O->O)->L))->L))

(difficulty 171, time 3): 8,4,1,4,3,5327328189478402609: ((((((Q->_|_)->_|_)->((_|_->_|_)->(Q->A)))->_|_)->_|_)->(((Q->_|_)->_|_)->A))

(difficulty 173, time 18): 7,1,4,2,3,-57116273946158129: (((((J->K)->K)->_|_)->((J->(O->_|_))->_|_))->((J->K)->K))

(difficulty 173, time 2): 11,3,1,4,5,-30097637267226626: (((((((D->_|_)->D)->_|_)->_|_)->D)->((_|_->_|_)->_|_))->I)

(difficulty 173, time 4): 7,3,2,4,5,-2175922711222725587: (((((K->_|_)->_|_)->_|_)->K)->((((((K->_|_)->_|_)->A)->_|_)->_|_)->A))

(difficulty 174, time 13): 7,4,1,5,4,6737693854439057729: (((K->K)->(D->_|_))->(((O->_|_)->((O->_|_)->((O->_|_)->((O->_|_)->D))))->O))

(difficulty 175, time 2): 7,4,1,5,2,5497487155810775703: (((E->_|_)->(((E->_|_)->(C->_|_))->C))->(((E->_|_)->((E->_|_)->(C->_|_)))->E))

(difficulty 175, time 5): 8,4,1,4,4,-6450851791684737055: (((((Q->_|_)->_|_)->_|_)->_|_)->(((F->F)->(Q->((_|_->M)->D)))->D))

(difficulty 177, time 13): 23,4,2,3,4,8424278613231625435: ((((Q->_|_)->((Q->_|_)->_|_))->(Q->_|_))->(((((Q->_|_)->_|_)->_|_)->((((Q->_|_)->_|_)->_|_)->_|_))->A))

(difficulty 177, time 23): 11,4,1,3,4,8270618481042956420: (((((D->B)->((D->_|_)->_|_))->_|_)->((((D->B)->((D->_|_)->_|_))->_|_)->_|_))->((D->B)->B))

(difficulty 177, time 4): 6,2,3,3,4,3585050156932941427: ((((((E->J)->J)->F)->_|_)->(((E->J)->J)->F))->(E->F))

(difficulty 177, time 7): 9,3,4,5,4,3792936298688533719: (((G->G)->((((F->(M->M))->_|_)->_|_)->((_|_->C)->((P->P)->_|_))))->(A->H))

(difficulty 178, time 3): 9,1,5,5,5,8447776841030281970: ((C->(((C->_|_)->_|_)->K))->(((((C->_|_)->_|_)->K)->((A->_|_)->_|_))->A))

(difficulty 179, time 4): 7,5,2,4,3,947300196108871820: (((((M->M)->C)->_|_)->(Q->((((M->M)->C)->_|_)->_|_)))->(Q->C))

(difficulty 179, time 8): 8,3,2,4,4,401303381160379869: (((((_|_->_|_)->((N->N)->_|_))->_|_)->((((_|_->_|_)->((N->N)->_|_))->_|_)->_|_))->M)

(difficulty 180, time 5): 9,2,2,5,4,-7184499739953637056: ((A->(((A->_|_)->_|_)->((D->D)->_|_)))->(((F->F)->((A->_|_)->N))->N))

(difficulty 180, time 6): 9,3,4,5,3,411218289050419230: ((F->(B->(F->D)))->(((B->(F->D))->K)->K))

(difficulty 180, time 7): 10,4,1,5,2,-58874703151852549: (((B->_|_)->((E->E)->((B->_|_)->((B->_|_)->_|_))))->(((O->_|_)->(B->_|_))->O))

(difficulty 181, time 12): 10,3,2,3,4,4029996659217960829: (((((F->F)->((P->P)->_|_))->_|_)->((((F->F)->((P->P)->_|_))->_|_)->_|_))->K)

(difficulty 182, time 4): 10,5,1,2,4,6178297995489570867: (((((B->B)->((P->(_|_->_|_))->_|_))->_|_)->((B->B)->((P->(_|_->_|_))->_|_)))->F)

(difficulty 184, time 10): 10,4,3,5,4,-8321599397464715847: (((A->_|_)->((A->_|_)->((A->_|_)->((A->_|_)->_|_))))->((A->((O->(I->(F->F)))->_|_))->D))

(difficulty 185, time 4): 6,2,2,4,4,4372413038410761173: (E->(((((Q->(K->Q))->M)->_|_)->(E->((Q->(K->Q))->M)))->M))

(difficulty 185, time 5): 7,1,1,1,4,805807176860999813: (((((O->B)->_|_)->(((O->B)->_|_)->_|_))->O)->((((O->B)->_|_)->(((O->B)->_|_)->_|_))->B))

(difficulty 187, time 3): 11,3,1,2,3,6762612749506972437: (A->(((((O->O)->P)->_|_)->((I->I)->((O->O)->P)))->P))

(difficulty 192, time 3): 9,1,1,2,4,3375174121984099733: (((((J->_|_)->(L->_|_))->_|_)->_|_)->(((J->_|_)->((L->_|_)->L))->J))

(difficulty 193, time 2): 6,4,1,3,3,6888438791061971024: (((((L->(C->L))->Q)->_|_)->((((L->(C->L))->Q)->_|_)->((_|_->_|_)->_|_)))->Q)

(difficulty 193, time 4): ((((B->A)->_|_)->(B->A))->(((K->K)->B)->A))

(difficulty 194, time 5): 7,3,1,5,3,7656662396764028866: (((J->J)->A)->((((A->C)->_|_)->(((A->C)->_|_)->_|_))->C))

(difficulty 194, time 7): ((((E->_|_)->((E->_|_)->((D->(M->M))->_|_)))->(((E->K)->_|_)->_|_))->(((E->_|_)->((E->_|_)->((D->(M->M))->_|_)))->K))

(difficulty 195, time 10): 7,3,3,4,4,-2407074594200346303: ((((((B->B)->L)->_|_)->((((B->B)->L)->_|_)->_|_))->(L->K))->(((((B->B)->L)->_|_)->((((B->B)->L)->_|_)->_|_))->K))

(difficulty 196, time 2): 10,2,1,2,4,3724159638686766887: (((((B->_|_)->(((_|_->_|_)->(B->_|_))->B))->_|_)->_|_)->(((_|_->_|_)->(B->_|_))->_|_))

(difficulty 196, time 5): 7,1,1,5,5,-524303028771057286: (((((L->D)->Q)->_|_)->_|_)->((L->((N->(A->A))->(L->D)))->Q))

(difficulty 197, time 12): 9,2,2,2,5,8067754625195193212: (((((C->C)->D)->D)->(((I->P)->I)->(I->P)))->(((I->P)->I)->P))

(difficulty 197, time 3): 6,2,1,2,4,112013066366926771: (((I->I)->(C->B))->((((((I->I)->(C->B))->C)->_|_)->(((I->I)->(C->B))->C))->B))

(difficulty 198, time 13): 6,4,3,4,3,-5847135202240781021: ((((N->G)->_|_)->(((N->G)->_|_)->_|_))->(((A->A)->((N->_|_)->_|_))->G))

(difficulty 198, time 6): 11,1,1,4,3,8826249568921966050: ((A->C)->(((((H->(J->J))->A)->_|_)->((H->(J->J))->A))->C))

(difficulty 199, time 3): 11,3,2,1,3,7116194869030342286: (C->(((((H->_|_)->_|_)->(P->H))->B)->B))

(difficulty 199, time 9): 7,3,1,4,2,-307485091988950562: (((P->((((P->D)->_|_)->(P->_|_))->D))->F)->(B->F))

(difficulty 201, time 37): 8,3,1,5,2,-6293185795620450571: ((((G->_|_)->_|_)->(G->_|_))->(((G->_|_)->((G->_|_)->G))->F))

(difficulty 204, time 33): 10,4,2,4,5,-1007625205444990751: (((((I->I)->_|_)->_|_)->((((Q->Q)->L)->_|_)->((((Q->Q)->L)->_|_)->_|_)))->((_|_->((I->I)->_|_))->L))

(difficulty 204, time 9): 10,2,2,3,4,8722441659358086094: (((E->(J->(((G->_|_)->G)->G)))->((O->O)->M))->M)

(difficulty 206, time 11): 11,2,1,1,2,-8539656014284921757: (((D->(G->(((J->_|_)->_|_)->(K->J))))->M)->M)

(difficulty 206, time 3): 25,3,2,4,4,6728885959363826868: (((O->O)->((_|_->P)->((((D->_|_)->D)->D)->A)))->A)

(difficulty 206, time 39): 10,1,3,5,3,-8923143364979014463: (((B->_|_)->((B->_|_)->B))->(((H->((H->K)->K))->((((B->_|_)->(B->_|_))->B)->A))->A))

(difficulty 207, time 11): 7,2,3,3,4,-4717164949975177171: (((((Q->(I->I))->G)->_|_)->((((E->_|_)->_|_)->E)->((Q->(I->I))->G)))->G)

(difficulty 208, time 13): 11,4,1,3,4,-3884143846204090818: ((((((I->_|_)->((I->_|_)->_|_))->C)->_|_)->(I->(((I->_|_)->((I->_|_)->_|_))->C)))->(((I->_|_)->((I->_|_)->_|_))->C))

(difficulty 208, time 28): 11,3,2,2,4,960621199865013453: (((((((_|_->A)->M)->_|_)->_|_)->M)->((G->((G->D)->D))->Q))->Q)

(difficulty 208, time 3): (((((_|_->G)->C)->_|_)->((A->A)->((_|_->G)->C)))->C)

(difficulty 209, time 5): 8,2,3,5,4,-8282370353603877125: (((((F->_|_)->_|_)->(F->((A->(K->K))->H)))->((F->_|_)->_|_))->((((F->_|_)->_|_)->(F->((A->(K->K))->H)))->H))

(difficulty 209, time 9): 10,1,1,2,3,2885647523767866461: (((L->(B->B))->((L->(B->B))->(Q->_|_)))->(((L->(B->B))->((L->(B->B))->((L->(B->B))->Q)))->P))

(difficulty 214, time 13): (C->(((((I->I)->(C->A))->_|_)->((((I->I)->(C->A))->_|_)->_|_))->A))

(difficulty 215, time 11): 23,1,3,4,5,5128224250559333274: (((((E->J)->_|_)->_|_)->((((E->J)->_|_)->_|_)->((((E->J)->_|_)->(B->_|_))->((G->G)->P))))->((((E->J)->_|_)->_|_)->P))

(difficulty 216, time 3): 6,1,1,4,5,-7178691486296980097: (C->(((((H->H)->(C->J))->_|_)->((H->H)->(C->J)))->J))

(difficulty 219, time 5): 8,2,2,3,4,1256420988721671204: ((((J->((I->(Q->Q))->D))->_|_)->(J->((I->(Q->Q))->D)))->(J->D))

(difficulty 222, time 38): 9,4,1,5,4,258356004519119538: (((F->_|_)->((F->(F->_|_))->B))->((((F->_|_)->_|_)->(((F->_|_)->_|_)->_|_))->B))

(difficulty 229, time 8): 31,2,1,2,5,1851473829975383798: (((B->(((N->_|_)->_|_)->N))->((((J->_|_)->_|_)->_|_)->J))->(((I->I)->(((J->_|_)->_|_)->((K->_|_)->_|_)))->K))

(difficulty 234, time 9): 7,4,1,4,3,-1549029630080933699: (((B->B)->((((E->E)->J)->_|_)->_|_))->((((J->C)->_|_)->(J->C))->C))

(difficulty 235, time 15): 7,4,1,4,5,8770547022606325588: ((((G->E)->_|_)->(((G->E)->_|_)->(((G->E)->_|_)->_|_)))->(((G->_|_)->_|_)->E))

(difficulty 238, time 11): 11,3,2,5,4,6061656478176451379: ((((((P->N)->_|_)->((G->G)->((J->J)->N)))->(P->N))->((B->B)->_|_))->D)

(difficulty 238, time 21): 7,3,1,5,4,7524362549867022462: ((((Q->_|_)->_|_)->(((Q->_|_)->_|_)->_|_))->(((((H->_|_)->((D->D)->Q))->_|_)->_|_)->H))

(difficulty 239, time 10): 9,2,2,3,5,137329776363317939: (((((G->_|_)->((G->_|_)->_|_))->G)->((((K->_|_)->A)->A)->((H->H)->_|_)))->((((K->D)->_|_)->_|_)->D))

(difficulty 242, time 30): (((F->_|_)->((((H->_|_)->((H->_|_)->_|_))->H)->A))->((((F->(F->_|_))->_|_)->_|_)->A))

(difficulty 245, time 16): 10,4,1,4,5,-6429900182935986517: ((((((H->_|_)->((H->_|_)->L))->(L->_|_))->_|_)->(((H->_|_)->((H->_|_)->L))->(L->_|_)))->(((H->_|_)->((H->_|_)->L))->H))

(difficulty 249, time 9): 6,1,2,2,3,5894083303908625569: ((((F->A)->_|_)->_|_)->(((((J->J)->F)->_|_)->((((J->J)->F)->_|_)->_|_))->A))

(difficulty 250, time 141): 11,4,1,2,5,935133745207342377: ((((A->_|_)->((A->_|_)->_|_))->(A->B))->(((((A->_|_)->((A->_|_)->_|_))->_|_)->((A->_|_)->((A->_|_)->_|_)))->B))

(difficulty 253, time 47): 6,3,1,2,4,-5536636470137218175: ((((G->L)->_|_)->(((G->L)->_|_)->_|_))->(((G->_|_)->((G->_|_)->_|_))->L))

(difficulty 255, time 66): (((((I->_|_)->I)->I)->((((A->_|_)->A)->A)->D))->D)

(difficulty 259, time 11): 11,1,3,5,4,5128660899427481936: (((((_|_->I)->I)->_|_)->((((_|_->I)->I)->_|_)->((_|_->I)->I)))->((((_|_->I)->_|_)->((M->M)->_|_))->I))

(difficulty 261, time 28): 10,3,2,3,4,1178544916665078316: ((((((A->A)->(O->K))->_|_)->((((A->A)->(O->K))->_|_)->_|_))->O)->(((((A->A)->(O->K))->_|_)->((((A->A)->(O->K))->_|_)->_|_))->K))

(difficulty 263, time 26): 7,1,1,3,4,-2527083067655466564: (((((L->(A->L))->((G->G)->_|_))->_|_)->((((L->(A->L))->((G->G)->_|_))->_|_)->((L->(A->L))->((G->G)->_|_))))->D)

(difficulty 272, time 20): 11,2,4,4,4,3060197597960951978: (((L->L)->((I->(F->F))->((M->M)->K)))->((K->(((K->_|_)->_|_)->_|_))->_|_))

(difficulty 273, time 12): ((P->_|_)->((O->(C->I))->B))->(((((J->(K->A))->((((O->(C->I))->F)->(E->F))->(B->_|_)))->(D->(P->B))))->((A->D)->(I->(A->B))))

(difficulty 273, time 12): 11,2,3,4,5,-6977016229682797498: (((((D->D)->((B->B)->((_|_->_|_)->M)))->_|_)->((D->D)->((B->B)->((_|_->_|_)->M))))->((_|_->_|_)->M))

(difficulty 273, time 28): 8,3,3,4,5,-4494851466572804200: ((((N->K)->_|_)->(N->K))->(((F->(J->J))->((B->(M->M))->N))->K))

(difficulty 274, time 9): 9,2,1,3,4,-8930634925021703619: (((D->D)->((((J->O)->E)->_|_)->((P->P)->_|_)))->((J->((A->A)->(J->O)))->E))

(difficulty 295, time 37): ((((H->F)->_|_)->(((H->F)->_|_)->(((H->F)->_|_)->_|_)))->(((N->N)->H)->F))

(difficulty 298, time 11): 10,2,1,2,5,-1587092949393328024: ((((I->(I->_|_))->_|_)->(((I->(I->_|_))->_|_)->_|_))->(((I->_|_)->M)->M))

(difficulty 313, time 32): 7,2,1,2,4,-9135778300501160794: ((((F->(F->O))->_|_)->(((F->(F->O))->_|_)->(((F->(F->O))->_|_)->_|_)))->(F->O))

(difficulty 327, time 32): ((F->(F->(F->P)))->(B->((D->(D->J))->(((F->(F->(F->P)))->(J->(D->((F->P)->I))))->(M->(D->I))))))

(difficulty 333, time 14): 9,5,4,5,5,-37862089698035540: (((((H->_|_)->_|_)->J)->((L->(K->K))->C))->((H->((B->B)->((I->(E->E))->J)))->C))

(difficulty 352, time 745): 9,1,2,2,4,1103628352709457192: (((F->F)->(K->(((K->G)->G)->A)))->(((((K->A)->B)->_|_)->((((K->A)->B)->_|_)->_|_))->B))

(difficulty 367, time 302): 8,1,1,4,5,1285497553360643965: ((((O->A)->_|_)->(((O->A)->_|_)->(O->A)))->(((O->_|_)->((O->_|_)->_|_))->A))

(difficulty 373, time 39): 11,2,1,2,4,-1515560947877077274: ((((E->_|_)->_|_)->((K->(H->H))->((O->O)->(((E->_|_)->_|_)->_|_))))->(((E->_|_)->((E->_|_)->((E->_|_)->_|_)))->N))

(difficulty 416, time ?): (L->G)->(I->(((B->B)->(((L->P)->((D->(K->D))->_|_))->(G->(((H->F)->((((N->R)->_|_)->(F->R))->(H->(N->R))))->Q))))->(((L->P)->((D->(K->D))->_|_))->Q)))

(difficulty 137, time 2): (((((((M->J)->H)->((E->B)->(F->B)))->(D->A))->_|_)->((((M->J)->H)->((E->B)->(F->B)))->(D->A)))->((((M->J)->H)->((E->B)->(F->B)))->(D->A)))

(difficulty 141, time 3): (((((M->I)->_|_)->_|_)->((M->I)->((L->(M->(((O->(I->M))->((O->L)->(P->M)))->M)))->((E->B)->((F->B)->(F->C))))))->((((M->I)->_|_)->_|_)->((E->B)->((F->B)->(F->C)))))

(difficulty 143, time 4): (((((((A->O)->K)->I)->(((A->O)->K)->I))->((((H->E)->L)->((Q->N)->C))->((E->_|_)->((E->_|_)->_|_))))->(((H->E)->L)->((Q->N)->C)))->((((((A->O)->K)->I)->(((A->O)->K)->I))->((((H->E)->L)->((Q->N)->C))->((E->_|_)->((E->_|_)->_|_))))->E))

(difficulty 150, time 10): 7,4,4,3,4,-7345900925305837655: (((((H->(((O->K)->((G->D)->O))->((O->K)->((G->D)->O))))->G)->_|_)->(((((G->D)->_|_)->_|_)->(G->D))->O))->((O->_|_)->G))

(difficulty 150, time 4): 7,3,3,4,4,-8470644658496044999: ((((F->C)->(F->C))->(B->(((B->_|_)->((B->_|_)->_|_))->_|_)))->(((B->_|_)->((B->_|_)->_|_))->K))

(difficulty 151, time 12): 7,3,1,2,4,6937979891407090703: (((((E->_|_)->_|_)->_|_)->(((((E->B)->E)->L)->L)->_|_))->(((((E->B)->E)->_|_)->((((E->B)->E)->_|_)->_|_))->E))

(difficulty 151, time 2): 11,2,3,3,5,7514922487446141598: ((((((I->F)->(((Q->M)->A)->((Q->M)->A)))->((A->A)->(B->O)))->_|_)->((_|_->_|_)->_|_))->(((H->D)->H)->(B->O)))

(difficulty 151, time 2): 7,3,4,4,4,4473526921244620275: ((((((M->J)->(((E->B)->((K->G)->F))->((E->B)->((K->G)->F))))->A)->_|_)->(((M->J)->(((E->B)->((K->G)->F))->((E->B)->((K->G)->F))))->A))->((((H->E)->M)->(C->Q))->A))

(difficulty 151, time 4): 10,1,3,2,5,249145796628467128: (((((P->((((H->E)->K)->(A->N))->(C->C)))->M)->_|_)->((P->((((H->E)->K)->(A->N))->(C->C)))->M))->M)

(difficulty 151, time 4): 7,3,2,5,4,3676542933237852344: (I->((((((Q->(G->D))->J)->(((Q->(G->D))->J)->(K->((O->L)->(P->C)))))->(((Q->(G->D))->J)->(K->((O->L)->(P->C)))))->((N->_|_)->_|_))->N))

(difficulty 151, time 4): 8,3,2,3,4,-2894825437997339654: (((N->K)->((K->((H->E)->((K->H)->(H->E))))->Q))->((((N->K)->_|_)->((I->I)->(((N->K)->_|_)->_|_)))->Q))

(difficulty 152, time 10): 9,1,2,5,4,-7087287012098202786: ((((((((G->D)->(H->L))->(M->J))->(O->(N->(C->P))))->((B->B)->(((G->D)->(H->L))->(M->J))))->(O->(N->(C->P))))->(((B->P)->(C->P))->(E->B)))->(((((((G->D)->(H->L))->(M->J))->(O->(N->(C->P))))->((B->B)->(((G->D)->(H->L))->(M->J))))->((((G->D)->(H->L))->(M->J))->(O->(N->(C->P)))))->(((B->P)->(C->P))->(E->B))))

(difficulty 152, time 4): 11,1,2,3,4,-405067981116955887: (((((((D->A)->M)->((J->G)->((F->B)->(J->G))))->I)->_|_)->((N->((H->D)->(H->D)))->((O->((((F->C)->(G->C))->(F->(O->L)))->(((F->C)->(G->C))->(F->(O->L)))))->_|_)))->I)

(difficulty 153, time 13): 10,2,1,2,4,-456391970109627531: (((((N->_|_)->((N->_|_)->(((A->O)->(A->O))->(M->J))))->_|_)->_|_)->((((((((E->A)->(E->B))->(O->(N->J)))->(((E->A)->(E->B))->(O->(N->J))))->Q)->Q)->((((A->O)->(A->O))->(M->J))->_|_))->N))

(difficulty 153, time 3): 7,2,2,4,5,8516598760985323808: (((((N->N)->((F->C)->((M->J)->G)))->_|_)->_|_)->((((((((Q->N)->H)->((O->L)->(O->L)))->(((Q->N)->H)->((O->L)->(O->L))))->(((F->C)->((M->J)->G))->D))->_|_)->_|_)->D))

(difficulty 153, time 8): 8,5,1,3,4,-5176026703549835181: (((((((C->H)->((K->G)->L))->_|_)->(N->K))->(N->K))->(((((C->H)->((K->G)->L))->_|_)->((((C->H)->((K->G)->L))->_|_)->M))->(M->_|_)))->(((((C->H)->((K->G)->L))->_|_)->((((C->H)->((K->G)->L))->_|_)->M))->((C->H)->((K->G)->L))))

(difficulty 153, time 9): 6,4,2,5,4,4374505050335277934: ((((((((C->Q)->(K->H))->N)->_|_)->(((((C->Q)->(K->H))->N)->_|_)->_|_))->_|_)->(((((((C->Q)->(K->H))->N)->_|_)->(((((C->Q)->(K->H))->N)->_|_)->_|_))->_|_)->_|_))->(((C->Q)->(K->H))->N))

(difficulty 154, time 3): 9,2,3,2,5,8813320264160094665: ((((N->K)->(N->K))->((P->P)->(C->I)))->((((((L->I)->(C->Q))->(C->Q))->(((L->I)->(C->Q))->(C->Q)))->(((L->((F->C)->B))->(L->((F->C)->B)))->C))->I))

(difficulty 154, time 4): 8,3,2,3,5,4447515810695629570: ((((((((I->F)->((M->J)->(E->A)))->_|_)->_|_)->(((((I->F)->((M->J)->(E->A)))->_|_)->_|_)->(((D->A)->(D->A))->((C->P)->(C->Q)))))->(((D->A)->(D->A))->((C->P)->(C->Q))))->(((I->F)->((M->J)->(E->A)))->(B->P)))->(((((I->F)->((M->J)->(E->A)))->_|_)->_|_)->(B->P)))

(difficulty 155, time 5): (((G->_|_)->(B->_|_))->(((((G->_|_)->B)->_|_)->((B->_|_)->_|_))->G))

(difficulty 156, time 2): 11,3,4,4,5,9148683635604407033: ((((B->(P->K))->((Q->E)->(H->E)))->(((B->(P->K))->((Q->E)->(H->E)))->(((D->A)->L)->Q)))->((((((B->P)->(C->P))->((A->O)->(A->O)))->_|_)->((((B->(P->K))->((Q->E)->(H->E)))->(((D->A)->L)->Q))->_|_))->(((B->P)->(C->P))->((A->O)->(A->O)))))

(difficulty 156, time 3): 6,3,1,2,4,-7905059804086718610: ((B->P)->((((H->E)->_|_)->((B->P)->(((H->E)->_|_)->(((H->E)->_|_)->(H->E)))))->(H->E)))

(difficulty 157, time 4): 7,2,3,3,4,6245763132720104973: (((((((G->D)->E)->_|_)->((G->D)->E))->((G->D)->E))->((C->((((K->G)->P)->O)->(((K->G)->P)->O)))->L))->L)

(difficulty 157, time 7): 8,3,1,3,5,-4058446711657829889: ((((((L->P)->((Q->N)->C))->((((E->B)->C)->_|_)->_|_))->_|_)->(((((L->P)->((Q->N)->C))->((((E->B)->C)->_|_)->_|_))->_|_)->_|_))->(((L->P)->((Q->N)->C))->((E->B)->C)))

(difficulty 158, time 16): (((((F->_|_)->_|_)->(F->(((((C->Q)->D)->((L->I)->(L->I)))->F)->(((H->E)->I)->G))))->F)->((((F->_|_)->_|_)->(F->(((((C->Q)->D)->((L->I)->(L->I)))->F)->(((H->E)->I)->G))))->(((H->E)->I)->G)))

(difficulty 158, time 4): 8,3,2,5,3,9174834424147012561: ((((((H->_|_)->_|_)->(((H->_|_)->_|_)->(H->(H->E))))->_|_)->_|_)->(((H->_|_)->_|_)->(H->E)))

(difficulty 159, time 3): 7,4,1,4,3,7194530993517328463: (((D->D)->(((I->(Q->N))->((P->L)->(P->M)))->((((Q->_|_)->Q)->Q)->_|_)))->(((((I->(Q->N))->((P->L)->(P->M)))->_|_)->_|_)->N))

(difficulty 160, time 4): 10,2,2,2,3,3378748115962337731: ((((((((Q->N)->(Q->N))->E)->_|_)->_|_)->((((P->M)->(Q->M))->((O->L)->(O->L)))->(((Q->N)->(Q->N))->E)))->((K->((F->C)->(F->C)))->((((K->((F->C)->(F->C)))->_|_)->_|_)->_|_)))->((K->((F->C)->(F->C)))->_|_))

(difficulty 160, time 5): 6,2,1,2,4,-9147721293890492094: (((K->_|_)->_|_)->((((K->(((M->J)->O)->(A->O)))->_|_)->(((K->(((M->J)->O)->(A->O)))->_|_)->_|_))->(((M->J)->O)->(A->O))))

(difficulty 160, time 5): 6,3,1,3,4,1952884675093842147: ((((((L->I)->N)->F)->_|_)->_|_)->(((((((L->I)->N)->F)->(J->G))->_|_)->((((((L->I)->N)->F)->(J->G))->_|_)->_|_))->(J->G)))

(difficulty 161, time 3): 10,3,2,4,4,-4575909514944033652: (((((_|_->I)->((_|_->(G->H))->(((L->H)->I)->D)))->_|_)->(((M->J)->(M->J))->(A->O)))->(((((M->J)->(M->J))->(A->O))->_|_)->(((L->H)->I)->D)))

(difficulty 162, time 7): 10,2,1,2,4,3043141404916896230: ((((F->C)->Q)->Q)->(((((((F->C)->Q)->Q)->((((F->C)->Q)->Q)->_|_))->_|_)->((((((F->C)->Q)->Q)->((((F->C)->Q)->Q)->_|_))->_|_)->_|_))->(F->B)))

(difficulty 163, time 3): 25,3,3,3,5,-7034302524823555583: (((((N->N)->((((Q->M)->E)->((Q->M)->E))->_|_))->_|_)->((A->A)->(((((I->F)->P)->N)->(((I->F)->P)->N))->_|_)))->(D->A))

(difficulty 163, time 49): 9,2,1,1,5,4092810619231295868: (((((((B->G)->C)->_|_)->((((B->G)->C)->_|_)->_|_))->_|_)->(((((C->P)->C)->A)->((((J->O)->P)->(F->B))->(((J->O)->P)->(F->B))))->(((L->I)->(((L->I)->(Q->((F->C)->(G->C))))->(Q->((F->C)->(G->C)))))->_|_)))->((B->G)->C))

(difficulty 164, time 2): 8,1,2,5,3,665999400715752307: (((I->(I->(((L->I)->(L->I))->D)))->((I->(((L->I)->(L->I))->D))->A))->((I->(I->(((L->I)->(L->I))->D)))->A))

(difficulty 166, time 9): 8,1,1,3,3,-6486240379487788118: (((((E->(H->M))->((O->L)->(P->L)))->(((E->(H->M))->((O->L)->(P->L)))->F))->((((((E->(H->M))->((O->L)->(P->L)))->(((E->(H->M))->((O->L)->(P->L)))->F))->(((E->(H->M))->((O->L)->(P->L)))->(((E->(H->M))->((O->L)->(P->L)))->F)))->(((E->(H->M))->((O->L)->(P->L)))->(((E->(H->M))->((O->L)->(P->L)))->F)))->((E->(H->M))->((O->L)->(P->L)))))->((((E->(H->M))->((O->L)->(P->L)))->(((E->(H->M))->((O->L)->(P->L)))->F))->F))

(difficulty 167, time 12): (((((((((P->M)->H)->E)->D)->(((((P->M)->H)->E)->D)->(((P->M)->H)->E)))->((((((P->M)->H)->E)->D)->D)->C))->_|_)->_|_)->((((((P->M)->H)->E)->D)->(((((P->M)->H)->E)->D)->(((P->M)->H)->E)))->C))

(difficulty 168, time 8): 10,1,2,3,4,4024805771278254074: (((((A->O)->(A->O))->((G->G)->(Q->C)))->((((A->O)->(A->O))->((G->G)->(Q->C)))->((((A->O)->(A->O))->((G->G)->(Q->C)))->Q)))->((((A->O)->(A->O))->((G->G)->(Q->C)))->C))

(difficulty 168, time 9): 11,4,1,2,4,5603271146237738604: ((((((((N->A)->P)->((I->E)->M))->_|_)->((D->D)->_|_))->_|_)->(((((((N->A)->P)->((I->E)->M))->_|_)->((D->D)->_|_))->_|_)->_|_))->(((N->A)->P)->((I->E)->M)))

(difficulty 169, time 56): 8,2,1,1,3,-5653520107139518326: (((((((H->L)->(P->M))->K)->((E->E)->L))->((((H->L)->(P->M))->K)->L))->((((((H->L)->(P->M))->K)->((E->E)->L))->((((H->L)->(P->M))->K)->L))->_|_))->(D->M))

(difficulty 170, time 2): 6,2,1,4,5,5301423620376610185: (((H->D)->G)->((((H->D)->_|_)->(((H->D)->_|_)->(H->D)))->G))

(difficulty 170, time 4): 8,1,2,2,4,-191205054548875837: (L->((((F->(F->I))->(F->I))->((((L->I)->Q)->((L->I)->Q))->((I->E)->N)))->((I->E)->N)))

(difficulty 170, time 5): 11,3,4,2,3,7527886157256312586: (((((F->(_|_->O))->((I->E)->L))->_|_)->((((F->(_|_->O))->((I->E)->L))->_|_)->_|_))->((I->E)->L))

(difficulty 171, time 2): 6,3,1,3,4,-5569342940114362325: (((E->_|_)->((K->_|_)->E))->((((E->_|_)->((K->_|_)->E))->(E->_|_))->K))

(difficulty 171, time 3): 6,2,4,4,4,5987821234796930849: (((((((F->(J->G))->(J->F))->((F->(J->G))->(J->F)))->L)->_|_)->(F->C))->(((F->C)->((((F->(J->G))->(J->F))->((F->(J->G))->(J->F)))->L))->L))

(difficulty 171, time 3): 8,2,5,4,4,-4446816422472852542: (((((Q->Q)->((Q->(E->B))->((I->F)->(I->F))))->_|_)->F)->((F->((Q->Q)->((Q->(E->B))->((I->F)->(I->F)))))->((Q->(E->B))->((I->F)->(I->F)))))

(difficulty 171, time 3): 8,4,1,4,3,5327328189478402609: (((((((O->L)->_|_)->_|_)->((_|_->_|_)->((O->L)->((O->L)->((N->K)->P)))))->_|_)->_|_)->((((O->L)->_|_)->_|_)->((O->L)->((N->K)->P))))

(difficulty 173, time 18): 7,1,4,2,3,-57116273946158129: (((((Q->(Q->((L->I)->(L->I))))->(Q->((L->I)->(L->I))))->_|_)->((Q->(B->_|_))->_|_))->((Q->(Q->((L->I)->(L->I))))->(Q->((L->I)->(L->I)))))

(difficulty 173, time 2): 11,3,1,4,5,-30097637267226626: ((((((((((F->C)->A)->(H->E))->_|_)->(((F->C)->A)->(H->E)))->_|_)->_|_)->(((F->C)->A)->(H->E)))->((_|_->_|_)->_|_))->J)

(difficulty 173, time 4): 7,3,2,4,5,-2175922711222725587: (((((C->_|_)->_|_)->_|_)->C)->((((((C->_|_)->_|_)->((L->(P->M))->((O->C)->K)))->_|_)->_|_)->((L->(P->M))->((O->C)->K))))

(difficulty 174, time 13): 7,4,1,5,4,6737693854439057729: (((((I->F)->((I->F)->(Q->N)))->((I->F)->((I->F)->(Q->N))))->((N->K)->_|_))->(((((H->(K->H))->G)->_|_)->((((H->(K->H))->G)->_|_)->((((H->(K->H))->G)->_|_)->((((H->(K->H))->G)->_|_)->(N->K)))))->((H->(K->H))->G)))

(difficulty 175, time 2): 7,4,1,5,2,5497487155810775703: (((B->_|_)->(((B->_|_)->((I->F)->_|_))->(I->F)))->(((B->_|_)->((B->_|_)->((I->F)->_|_)))->B))

(difficulty 175, time 5): 8,4,1,4,4,-6450851791684737055: ((((((O->L)->_|_)->_|_)->_|_)->_|_)->(((B->B)->((O->L)->((_|_->O)->(B->((L->I)->(M->I))))))->(B->((L->I)->(M->I)))))

(difficulty 177, time 13): 23,4,2,3,4,8424278613231625435: (((((O->(Q->N))->_|_)->(((O->(Q->N))->_|_)->_|_))->((O->(Q->N))->_|_))->((((((O->(Q->N))->_|_)->_|_)->_|_)->(((((O->(Q->N))->_|_)->_|_)->_|_)->_|_))->E))

(difficulty 177, time 23): 11,4,1,3,4,8270618481042956420: ((((((((B->P)->B)->B)->((J->G)->J))->(((((B->P)->B)->B)->_|_)->_|_))->_|_)->(((((((B->P)->B)->B)->((J->G)->J))->(((((B->P)->B)->B)->_|_)->_|_))->_|_)->_|_))->(((((B->P)->B)->B)->((J->G)->J))->((J->G)->J)))

(difficulty 177, time 4): 6,2,3,3,4,3585050156932941427: (((((((((I->E)->A)->K)->F)->F)->(J->G))->_|_)->((((((I->E)->A)->K)->F)->F)->(J->G)))->((((I->E)->A)->K)->(J->G)))

(difficulty 177, time 7): 9,3,4,5,4,3792936298688533719: (((((L->H)->((I->F)->(I->F)))->((L->H)->((I->F)->(I->F))))->((((D->(((H->L)->((K->P)->(B->P)))->((H->L)->((K->P)->(B->P)))))->_|_)->_|_)->((_|_->(H->E))->(((O->L)->(O->L))->_|_))))->((A->O)->(((J->G)->E)->N)))

(difficulty 178, time 3): 9,1,5,5,5,8447776841030281970: (((((F->C)->(G->C))->(P->M))->((((((F->C)->(G->C))->(P->M))->_|_)->_|_)->((D->A)->((M->J)->E))))->((((((((F->C)->(G->C))->(P->M))->_|_)->_|_)->((D->A)->((M->J)->E)))->((D->_|_)->_|_))->D))

(difficulty 179, time 4): 7,5,2,4,3,947300196108871820: (((((I->I)->L)->_|_)->(A->((((I->I)->L)->_|_)->_|_)))->(A->L))

(difficulty 179, time 8): 8,3,2,4,4,401303381160379869: (((((_|_->_|_)->((I->I)->_|_))->_|_)->((((_|_->_|_)->((I->I)->_|_))->_|_)->_|_))->H)

(difficulty 180, time 5): 9,2,2,5,4,-7184499739953637056: (((((B->P)->(B->P))->(H->M))->((((((B->P)->(B->P))->(H->M))->_|_)->_|_)->(((((J->G)->(J->G))->Q)->(((J->G)->(J->G))->Q))->_|_)))->(((((N->K)->K)->((N->K)->K))->(((((B->P)->(B->P))->(H->M))->_|_)->B))->B))

(difficulty 180, time 6): 9,3,4,5,3,411218289050419230: ((((P->L)->J)->(M->(((P->L)->J)->C)))->(((M->(((P->L)->J)->C))->(K->H))->(K->H)))

(difficulty 180, time 7): 10,4,1,5,2,-58874703151852549: ((((L->I)->_|_)->((((M->I)->((A->O)->(B->O)))->((M->I)->((A->O)->(B->O))))->(((L->I)->_|_)->(((L->I)->_|_)->_|_))))->(((L->_|_)->((L->I)->_|_))->L))

(difficulty 181, time 12): 10,3,2,3,4,4029996659217960829: (((((((P->(D->A))->((C->Q)->O))->((P->(D->A))->((C->Q)->O)))->((P->P)->_|_))->_|_)->((((((P->(D->A))->((C->Q)->O))->((P->(D->A))->((C->Q)->O)))->((P->P)->_|_))->_|_)->_|_))->(A->O))

(difficulty 182, time 4): 10,5,1,2,4,6178297995489570867: (((((C->C)->(((((Q->N)->(Q->E))->(E->(I->E)))->(_|_->_|_))->_|_))->_|_)->((C->C)->(((((Q->N)->(Q->E))->(E->(I->E)))->(_|_->_|_))->_|_)))->B)

(difficulty 184, time 10): 10,4,3,5,4,-8321599397464715847: ((((J->F)->_|_)->(((J->F)->_|_)->(((J->F)->_|_)->(((J->F)->_|_)->_|_))))->(((J->F)->(((((K->P)->(B->F))->B)->((J->G)->(B->B)))->_|_))->L))

(difficulty 185, time 4): 6,2,2,4,4,4372413038410761173: (((K->(P->M))->((O->L)->(O->L)))->((((((((B->P)->N)->L)->((I->((A->O)->(B->O)))->(((B->P)->N)->L)))->(K->H))->_|_)->(((K->(P->M))->((O->L)->(O->L)))->(((((B->P)->N)->L)->((I->((A->O)->(B->O)))->(((B->P)->N)->L)))->(K->H))))->(K->H)))

(difficulty 185, time 5): 7,1,1,1,4,805807176860999813: ((((((((J->F)->K)->D)->F)->_|_)->((((((J->F)->K)->D)->F)->_|_)->_|_))->(((J->F)->K)->D))->(((((((J->F)->K)->D)->F)->_|_)->((((((J->F)->K)->D)->F)->_|_)->_|_))->F))

(difficulty 187, time 3): 11,3,1,2,3,6762612749506972437: (((A->N)->M)->(((((((A->(K->G))->((I->F)->(J->F)))->((A->(K->G))->((I->F)->(J->F))))->G)->_|_)->((((J->F)->(J->G))->((J->F)->(J->G)))->((((A->(K->G))->((I->F)->(J->F)))->((A->(K->G))->((I->F)->(J->F))))->G)))->G))

(difficulty 192, time 3): 9,1,1,2,4,3375174121984099733: (((((G->_|_)->(C->_|_))->_|_)->_|_)->(((G->_|_)->((C->_|_)->C))->G))

(difficulty 193, time 2): 6,4,1,3,3,6888438791061971024: (((((((D->(B->P))->((A->O)->(B->O)))->(((N->K)->((A->O)->N))->((D->(B->P))->((A->O)->(B->O)))))->I)->_|_)->((((((D->(B->P))->((A->O)->(B->O)))->(((N->K)->((A->O)->N))->((D->(B->P))->((A->O)->(B->O)))))->I)->_|_)->((_|_->_|_)->_|_)))->I)

(difficulty 193, time 4): (((((H->E)->Q)->_|_)->((H->E)->Q))->((((((I->F)->(I->F))->((H->D)->(H->E)))->(((I->F)->(I->F))->((H->D)->(H->E))))->(H->E))->Q))

(difficulty 194, time 5): 7,3,1,5,3,7656662396764028866: (((((G->D)->((D->A)->H))->((G->D)->((D->A)->H)))->(((O->L)->(P->L))->(B->P)))->(((((((O->L)->(P->L))->(B->P))->D)->_|_)->((((((O->L)->(P->L))->(B->P))->D)->_|_)->_|_))->D))

(difficulty 194, time 7): ((((((D->A)->E)->_|_)->((((D->A)->E)->_|_)->(((((Q->M)->(Q->N))->(Q->M))->((E->B)->(E->B)))->_|_)))->(((((D->A)->E)->((F->C)->M))->_|_)->_|_))->(((((D->A)->E)->_|_)->((((D->A)->E)->_|_)->(((((Q->M)->(Q->N))->(Q->M))->((E->B)->(E->B)))->_|_)))->((F->C)->M)))

(difficulty 195, time 10): 7,3,3,4,4,-2407074594200346303: ((((((Q->Q)->(((H->M)->(P->M))->(A->O)))->_|_)->((((Q->Q)->(((H->M)->(P->M))->(A->O)))->_|_)->_|_))->((((H->M)->(P->M))->(A->O))->C))->(((((Q->Q)->(((H->M)->(P->M))->(A->O)))->_|_)->((((Q->Q)->(((H->M)->(P->M))->(A->O)))->_|_)->_|_))->C))

(difficulty 196, time 2): 10,2,1,2,4,3724159638686766887: (((((((Q->(L->I))->K)->_|_)->(((_|_->_|_)->(((Q->(L->I))->K)->_|_))->((Q->(L->I))->K)))->_|_)->_|_)->(((_|_->_|_)->(((Q->(L->I))->K)->_|_))->_|_))

(difficulty 196, time 5): 7,1,1,5,5,-524303028771057286: ((((((((L->P)->I)->((F->C)->F))->((O->L)->Q))->(((P->M)->(P->M))->K))->_|_)->_|_)->(((((L->P)->I)->((F->C)->F))->((((Q->M)->D)->((Q->N)->(Q->N)))->((((L->P)->I)->((F->C)->F))->((O->L)->Q))))->(((P->M)->(P->M))->K)))

(difficulty 197, time 12): 9,2,2,2,5,8067754625195193212: (((((P->P)->(((M->J)->(M->J))->(B->P)))->(((M->J)->(M->J))->(B->P)))->((((((H->E)->(H->M))->(M->(Q->M)))->(((N->K)->(N->K))->((L->I)->(M->I))))->(((H->E)->(H->M))->(M->(Q->M))))->((((H->E)->(H->M))->(M->(Q->M)))->(((N->K)->(N->K))->((L->I)->(M->I))))))->((((((H->E)->(H->M))->(M->(Q->M)))->(((N->K)->(N->K))->((L->I)->(M->I))))->(((H->E)->(H->M))->(M->(Q->M))))->(((N->K)->(N->K))->((L->I)->(M->I)))))

(difficulty 197, time 3): 6,2,1,2,4,112013066366926771: (((K->K)->(((E->B)->((K->H)->(C->P)))->I))->((((((K->K)->(((E->B)->((K->H)->(C->P)))->I))->((E->B)->((K->H)->(C->P))))->_|_)->(((K->K)->(((E->B)->((K->H)->(C->P)))->I))->((E->B)->((K->H)->(C->P)))))->I))

(difficulty 198, time 13): 6,4,3,4,3,-5847135202240781021: ((((((C->(M->J))->(J->G))->(((D->A)->(M->I))->N))->_|_)->(((((C->(M->J))->(J->G))->(((D->A)->(M->I))->N))->_|_)->_|_))->(((O->O)->((((C->(M->J))->(J->G))->_|_)->_|_))->(((D->A)->(M->I))->N)))

(difficulty 198, time 6): 11,1,1,4,3,8826249568921966050: ((B->(((G->D)->I)->(O->L)))->(((((J->((((A->O)->(B->P))->(D->A))->(((A->O)->(B->P))->(D->A))))->B)->_|_)->((J->((((A->O)->(B->P))->(D->A))->(((A->O)->(B->P))->(D->A))))->B))->(((G->D)->I)->(O->L))))

(difficulty 199, time 3): 11,3,2,1,3,7116194869030342286: (P->(((((I->_|_)->_|_)->(K->I))->O)->O))

(difficulty 199, time 9): 7,3,1,4,2,-307485091988950562: (((D->((((D->N)->_|_)->(D->_|_))->N))->(D->A))->((((F->C)->(G->L))->(C->Q))->(D->A)))

(difficulty 201, time 37): 8,3,1,5,2,-6293185795620450571: (((((M->(I->(N->B)))->_|_)->_|_)->((M->(I->(N->B)))->_|_))->((((M->(I->(N->B)))->_|_)->(((M->(I->(N->B)))->_|_)->(M->(I->(N->B)))))->B))

(difficulty 204, time 33): 10,4,2,4,5,-1007625205444990751: (((((((I->N)->((L->I)->(L->I)))->((I->N)->((L->I)->(L->I))))->_|_)->_|_)->(((((((C->Q)->(C->Q))->(E->B))->(((C->Q)->(C->Q))->(E->B)))->J)->_|_)->(((((((C->Q)->(C->Q))->(E->B))->(((C->Q)->(C->Q))->(E->B)))->J)->_|_)->_|_)))->((_|_->((((I->N)->((L->I)->(L->I)))->((I->N)->((L->I)->(L->I))))->_|_))->J))

(difficulty 204, time 9): 10,2,2,3,4,8722441659358086094: ((((O->L)->((D->(F->(A->N)))->(((O->_|_)->O)->O)))->(((((P->M)->D)->J)->(((P->M)->D)->J))->((F->(P->M))->N)))->((F->(P->M))->N))

(difficulty 206, time 11): 11,2,1,1,2,-8539656014284921757: ((((D->A)->((Q->N)->(((O->_|_)->_|_)->((((C->Q)->I)->C)->O))))->B)->B)

(difficulty 206, time 3): 25,3,2,4,4,6728885959363826868: (((G->G)->((_|_->H)->(((((((F->B)->(N->K))->(J->G))->_|_)->(((F->B)->(N->K))->(J->G)))->(((F->B)->(N->K))->(J->G)))->((I->E)->O))))->((I->E)->O))

(difficulty 206, time 39): 10,1,3,5,3,-8923143364979014463: ((((E->(D->A))->_|_)->(((E->(D->A))->_|_)->(E->(D->A))))->((((((J->G)->(B->O))->(P->M))->(((((J->G)->(B->O))->(P->M))->B)->B))->(((((E->(D->A))->_|_)->((E->(D->A))->_|_))->(E->(D->A)))->(G->D)))->(G->D)))

(difficulty 207, time 11): 7,2,3,3,4,-4717164949975177171: ((((((((P->L)->M)->(C->Q))->(Q->Q))->I)->_|_)->((((((M->(L->I))->((K->H)->(B->P)))->_|_)->_|_)->((M->(L->I))->((K->H)->(B->P))))->(((((P->L)->M)->(C->Q))->(Q->Q))->I)))->I)

(difficulty 208, time 13): 11,4,1,3,4,-3884143846204090818: (((((((((A->O)->(A->O))->(A->(B->G)))->_|_)->(((((A->O)->(A->O))->(A->(B->G)))->_|_)->_|_))->(((H->E)->I)->E))->_|_)->((((A->O)->(A->O))->(A->(B->G)))->((((((A->O)->(A->O))->(A->(B->G)))->_|_)->(((((A->O)->(A->O))->(A->(B->G)))->_|_)->_|_))->(((H->E)->I)->E))))->((((((A->O)->(A->O))->(A->(B->G)))->_|_)->(((((A->O)->(A->O))->(A->(B->G)))->_|_)->_|_))->(((H->E)->I)->E)))

(difficulty 208, time 28): 11,3,2,2,4,960621199865013453: (((((((_|_->((F->B)->((N->J)->(E->B))))->(((A->O)->(I->F))->(L->(J->G))))->_|_)->_|_)->(((A->O)->(I->F))->(L->(J->G))))->(((E->B)->(((E->B)->(((D->Q)->(D->A))->B))->(((D->Q)->(D->A))->B)))->E))->E)

(difficulty 208, time 3): (((((_|_->(A->O))->H)->_|_)->(((((O->L)->O)->I)->(((O->L)->O)->I))->((_|_->(A->O))->H)))->H)

(difficulty 209, time 5): 8,2,3,5,4,-8282370353603877125: ((((((D->Q)->_|_)->_|_)->((D->Q)->((G->((((K->H)->(K->H))->(F->C))->(((K->H)->(K->H))->(F->C))))->(K->H))))->(((D->Q)->_|_)->_|_))->(((((D->Q)->_|_)->_|_)->((D->Q)->((G->((((K->H)->(K->H))->(F->C))->(((K->H)->(K->H))->(F->C))))->(K->H))))->(K->H)))

(difficulty 209, time 9): 10,1,1,2,3,2885647523767866461: ((((((O->K)->L)->L)->((((C->Q)->J)->D)->(((C->Q)->J)->D)))->(((((O->K)->L)->L)->((((C->Q)->J)->D)->(((C->Q)->J)->D)))->(G->_|_)))->((((((O->K)->L)->L)->((((C->Q)->J)->D)->(((C->Q)->J)->D)))->(((((O->K)->L)->L)->((((C->Q)->J)->D)->(((C->Q)->J)->D)))->(((((O->K)->L)->L)->((((C->Q)->J)->D)->(((C->Q)->J)->D)))->G)))->((N->K)->((H->E)->O))))

(difficulty 214, time 13): (G->((((((A->O)->(A->O))->(G->(K->H)))->_|_)->(((((A->O)->(A->O))->(G->(K->H)))->_|_)->_|_))->(K->H)))

(difficulty 215, time 11): 23,1,3,4,5,5128224250559333274: ((((((E->B)->(K->(O->L)))->_|_)->_|_)->(((((E->B)->(K->(O->L)))->_|_)->_|_)->(((((E->B)->(K->(O->L)))->_|_)->((((M->J)->(M->J))->((L->H)->(L->I)))->_|_))->(((L->I)->(L->I))->(((P->M)->N)->(D->A))))))->(((((E->B)->(K->(O->L)))->_|_)->_|_)->(((P->M)->N)->(D->A))))

(difficulty 216, time 3): 6,1,1,4,5,-7178691486296980097: ((((N->K)->(O->B))->(G->D))->((((((((H->E)->A)->((Q->N)->(I->F)))->(((H->E)->A)->((Q->N)->(I->F))))->((((N->K)->(O->B))->(G->D))->F))->_|_)->(((((H->E)->A)->((Q->N)->(I->F)))->(((H->E)->A)->((Q->N)->(I->F))))->((((N->K)->(O->B))->(G->D))->F)))->F))

(difficulty 219, time 5): 8,2,2,3,4,1256420988721671204: ((((F->(((H->E)->(N->N))->D))->_|_)->(F->(((H->E)->(N->N))->D)))->(F->D))

(difficulty 222, time 38): 9,4,1,5,4,258356004519119538: ((((((G->C)->(G->D))->(K->(O->L)))->_|_)->(((((G->C)->(G->D))->(K->(O->L)))->((((G->C)->(G->D))->(K->(O->L)))->_|_))->(C->Q)))->(((((((G->C)->(G->D))->(K->(O->L)))->_|_)->_|_)->((((((G->C)->(G->D))->(K->(O->L)))->_|_)->_|_)->_|_))->(C->Q)))

(difficulty 229, time 8): 31,2,1,2,5,1851473829975383798: ((((((D->A)->K)->E)->((((((F->C)->(N->K))->((E->A)->(E->B)))->_|_)->_|_)->(((F->C)->(N->K))->((E->A)->(E->B)))))->((((C->_|_)->_|_)->_|_)->C))->((((M->I)->(M->I))->(((C->_|_)->_|_)->(((K->H)->_|_)->_|_)))->(K->H)))

(difficulty 234, time 9): 7,4,1,4,3,-1549029630080933699: (((((A->N)->((D->A)->(E->A)))->((A->N)->((D->A)->(E->A))))->((((H->H)->(O->((O->K)->(F->C))))->_|_)->_|_))->(((((O->((O->K)->(F->C)))->(((N->K)->K)->N))->_|_)->((O->((O->K)->(F->C)))->(((N->K)->K)->N)))->(((N->K)->K)->N)))

(difficulty 235, time 15): 7,4,1,4,5,8770547022606325588: ((((F->((E->(K->H))->H))->_|_)->(((F->((E->(K->H))->H))->_|_)->(((F->((E->(K->H))->H))->_|_)->_|_)))->(((F->_|_)->_|_)->((E->(K->H))->H)))

(difficulty 238, time 11): 11,3,2,5,4,6061656478176451379: (((((((L->((M->J)->(N->J)))->((A->N)->P))->_|_)->((((G->D)->((N->K)->H))->((G->D)->((N->K)->H)))->((((M->J)->A)->((M->J)->A))->((A->N)->P))))->((L->((M->J)->(N->J)))->((A->N)->P)))->(((((Q->M)->P)->((K->H)->(K->H)))->(((Q->M)->P)->((K->H)->(K->H))))->_|_))->(C->Q))

(difficulty 238, time 21): 7,3,1,5,4,7524362549867022462: (((((((N->J)->A)->G)->_|_)->_|_)->((((((N->J)->A)->G)->_|_)->_|_)->_|_))->(((((Q->_|_)->((((J->(F->B))->K)->((J->(F->B))->K))->(((N->J)->A)->G)))->_|_)->_|_)->Q))

(difficulty 239, time 10): 9,2,2,3,5,137329776363317939: ((((((L->(O->L))->_|_)->(((L->(O->L))->_|_)->_|_))->(L->(O->L)))->((((N->_|_)->((G->D)->((L->I)->(M->I))))->((G->D)->((L->I)->(M->I))))->((P->P)->_|_)))->((((N->A)->_|_)->_|_)->A))

(difficulty 242, time 30): (((((I->F)->N)->_|_)->(((((K->H)->_|_)->(((K->H)->_|_)->_|_))->(K->H))->(E->B)))->((((((I->F)->N)->(((I->F)->N)->_|_))->_|_)->_|_)->(E->B)))

(difficulty 245, time 16): 10,4,1,4,5,-6429900182935986517: ((((((((Q->(O->K))->((N->J)->(N->K)))->_|_)->((((Q->(O->K))->((N->J)->(N->K)))->_|_)->J))->(J->_|_))->_|_)->(((((Q->(O->K))->((N->J)->(N->K)))->_|_)->((((Q->(O->K))->((N->J)->(N->K)))->_|_)->J))->(J->_|_)))->(((((Q->(O->K))->((N->J)->(N->K)))->_|_)->((((Q->(O->K))->((N->J)->(N->K)))->_|_)->J))->((Q->(O->K))->((N->J)->(N->K)))))

(difficulty 249, time 9): 6,1,2,2,3,5894083303908625569: ((((A->G)->_|_)->_|_)->(((((C->C)->A)->_|_)->((((C->C)->A)->_|_)->_|_))->G))

(difficulty 250, time 141): 11,4,1,2,5,935133745207342377: ((((J->_|_)->((J->_|_)->_|_))->(J->(C->(B->(H->E)))))->(((((J->_|_)->((J->_|_)->_|_))->_|_)->((J->_|_)->((J->_|_)->_|_)))->(C->(B->(H->E)))))

(difficulty 253, time 47): 6,3,1,2,4,-5536636470137218175: ((((C->L)->_|_)->(((C->L)->_|_)->_|_))->(((C->_|_)->((C->_|_)->_|_))->L))

(difficulty 255, time 66): ((((((((G->D)->(H->D))->((F->C)->(F->C)))->_|_)->(((G->D)->(H->D))->((F->C)->(F->C))))->(((G->D)->(H->D))->((F->C)->(F->C))))->(((((F->B)->_|_)->(F->B))->(F->B))->((N->(B->G))->((I->F)->(I->F)))))->((N->(B->G))->((I->F)->(I->F))))

(difficulty 259, time 11): 11,1,3,5,4,5128660899427481936: (((((_|_->(((O->L)->B)->O))->(((O->L)->B)->O))->_|_)->((((_|_->(((O->L)->B)->O))->(((O->L)->B)->O))->_|_)->((_|_->(((O->L)->B)->O))->(((O->L)->B)->O))))->((((_|_->(((O->L)->B)->O))->_|_)->((((M->I)->((H->E)->(Q->M)))->((M->I)->((H->E)->(Q->M))))->_|_))->(((O->L)->B)->O)))

(difficulty 261, time 28): 10,3,2,3,4,1178544916665078316: ((((((((J->(O->L))->((N->K)->(N->K)))->((J->(O->L))->((N->K)->(N->K))))->((I->F)->D))->_|_)->((((((J->(O->L))->((N->K)->(N->K)))->((J->(O->L))->((N->K)->(N->K))))->((I->F)->D))->_|_)->_|_))->(I->F))->(((((((J->(O->L))->((N->K)->(N->K)))->((J->(O->L))->((N->K)->(N->K))))->((I->F)->D))->_|_)->((((((J->(O->L))->((N->K)->(N->K)))->((J->(O->L))->((N->K)->(N->K))))->((I->F)->D))->_|_)->_|_))->D))

(difficulty 263, time 26): 7,1,1,3,4,-2527083067655466564: (((((J->(M->J))->(((J->G)->(J->G))->_|_))->_|_)->((((J->(M->J))->(((J->G)->(J->G))->_|_))->_|_)->((J->(M->J))->(((J->G)->(J->G))->_|_))))->K)

(difficulty 272, time 20): 11,2,4,4,4,3060197597960951978: ((((((I->F)->B)->((B->F)->(J->G)))->(((I->F)->B)->((B->F)->(J->G))))->(((((N->K)->(N->B))->(H->E))->(O->O))->(((F->(K->H))->(F->(K->H)))->(I->F))))->(((I->F)->((((I->F)->_|_)->_|_)->_|_))->_|_))

(difficulty 273, time 12): (((((F->C)->(N->K))->(E->(O->L)))->_|_)->(((((K->H)->(K->H))->(L->I))->(K->(D->A)))->K))->((((((B->(G->D))->(G->(((Q->N)->(Q->N))->(D->A))))->(((((((K->H)->(K->H))->(L->I))->(K->(D->A)))->(((I->F)->(I->F))->A))->(M->(((I->F)->(I->F))->A)))->(K->_|_)))->((((J->F)->(J->G))->((H->E)->(H->E)))->((((F->C)->(N->K))->(E->(O->L)))->K))))->(((((Q->N)->(Q->N))->(D->A))->(((J->F)->(J->G))->((H->E)->(H->E))))->((D->A)->((((Q->N)->(Q->N))->(D->A))->K))))

(difficulty 273, time 12): 11,2,3,4,5,-6977016229682797498: (((((G->G)->(((G->(M->(B->G)))->(G->(M->(B->G))))->((_|_->_|_)->(((C->Q)->(C->Q))->(P->M)))))->_|_)->((G->G)->(((G->(M->(B->G)))->(G->(M->(B->G))))->((_|_->_|_)->(((C->Q)->(C->Q))->(P->M))))))->((_|_->_|_)->(((C->Q)->(C->Q))->(P->M))))

(difficulty 273, time 28): 8,3,3,4,5,-4494851466572804200: ((((D->Q)->_|_)->(D->Q))->(((L->((I->((B->O)->(J->G)))->(I->((B->O)->(J->G)))))->((M->((B->(D->A))->(B->(D->A))))->D))->Q))

(difficulty 274, time 9): 9,2,1,3,4,-8930634925021703619: (((P->P)->((((((D->A)->((E->B)->(F->J)))->(K->G))->G)->_|_)->((J->J)->_|_)))->((((D->A)->((E->B)->(F->J)))->(((((I->F)->O)->(E->B))->(((I->F)->O)->(E->B)))->(((D->A)->((E->B)->(F->J)))->(K->G))))->G))

(difficulty 295, time 37): (((((N->K)->(((P->M)->M)->((H->E)->(I->E))))->_|_)->((((N->K)->(((P->M)->M)->((H->E)->(I->E))))->_|_)->((((N->K)->(((P->M)->M)->((H->E)->(I->E))))->_|_)->_|_)))->(((N->N)->(N->K))->(((P->M)->M)->((H->E)->(I->E)))))

(difficulty 298, time 11): 10,2,1,2,5,-1587092949393328024: ((((Q->(Q->_|_))->_|_)->(((Q->(Q->_|_))->_|_)->_|_))->(((Q->_|_)->(E->(G->D)))->(E->(G->D))))

(difficulty 313, time 32): 7,2,1,2,4,-9135778300501160794: ((((P->(P->E))->_|_)->(((P->(P->E))->_|_)->(((P->(P->E))->_|_)->_|_)))->(P->E))

(difficulty 327, time 32): ((I->(I->(I->H)))->((((K->H)->G)->H)->((B->(B->((P->M)->H)))->(((I->(I->(I->H)))->(((P->M)->H)->(B->((I->H)->E))))->(Q->(B->E))))))

(difficulty 333, time 14): 9,5,4,5,5,-37862089698035540: (((((((Q->M)->((C->Q)->(C->Q)))->_|_)->_|_)->C)->((K->(((Q->N)->Q)->((Q->N)->Q)))->(O->L)))->((((Q->M)->((C->Q)->(C->Q)))->((Q->Q)->(((((M->J)->J)->H)->(E->E))->C)))->(O->L)))

(difficulty 352, time 745): 9,1,2,2,4,1103628352709457192: ((((((K->H)->(K->H))->O)->(((K->H)->(K->H))->O))->(C->(((C->(A->O))->(A->O))->(P->M))))->(((((C->(P->M))->G)->_|_)->((((C->(P->M))->G)->_|_)->_|_))->G))

(difficulty 367, time 302): 8,1,1,4,5,1285497553360643965: ((((I->P)->_|_)->(((I->P)->_|_)->(I->P)))->(((I->_|_)->((I->_|_)->_|_))->P))

(difficulty 373, time 39): 11,2,1,2,4,-1515560947877077274: ((((((C->Q)->((D->A)->(D->A)))->_|_)->_|_)->((O->(((K->H)->H)->((K->H)->H)))->((J->J)->(((((C->Q)->((D->A)->(D->A)))->_|_)->_|_)->_|_))))->(((((C->Q)->((D->A)->(D->A)))->_|_)->((((C->Q)->((D->A)->(D->A)))->_|_)->((((C->Q)->((D->A)->(D->A)))->_|_)->_|_)))->(((E->B)->(M->J))->Q)))

(difficulty 416, time ?): ((M->J)->((E->J)->((G->D)->(H->D))))->(((H->E)->((A->O)->(A->O)))->(((P->P)->((((M->J)->M)->(((J->G)->(D->(J->G)))->_|_))->(((E->J)->((G->D)->(H->D)))->(((F->(((Q->N)->(A->N))->(H->(A->M))))->(((((L->I)->L)->_|_)->((((Q->N)->(A->N))->(H->(A->M)))->L))->(F->((L->I)->L))))->(((J->G)->(K->P))->A)))))->((((M->J)->M)->(((J->G)->(D->(J->G)))->_|_))->(((J->G)->(K->P))->A))))