-
Notifications
You must be signed in to change notification settings - Fork 5
/
Copy pathArtifacts.toml
591 lines (444 loc) · 25.7 KB
/
Artifacts.toml
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
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
["dubrovnik/problem-135-90642-pre.txt.bz2"]
git-tree-sha1 = "0d3a75635b9100c7d32c045082b900b767177b39"
lazy = true
[["dubrovnik/problem-135-90642-pre.txt.bz2".download]]
sha256 = "010434b003c5355d1184887e32d504f2a8c558cb8454ced8d918b8b2c1dfd8df"
url = "https://grail.cs.washington.edu/projects/bal/data/dubrovnik/problem-135-90642-pre.txt.bz2"
["dubrovnik/problem-142-93602-pre.txt.bz2"]
git-tree-sha1 = "ee69b747d17e041d9778d09860948dbf8aa6aa45"
lazy = true
[["dubrovnik/problem-142-93602-pre.txt.bz2".download]]
sha256 = "4d06f15adf3a08933008a0ceb977e85af2d8ba9a16c268b9c2a8a736376fb990"
url = "https://grail.cs.washington.edu/projects/bal/data/dubrovnik/problem-142-93602-pre.txt.bz2"
["dubrovnik/problem-150-95821-pre.txt.bz2"]
git-tree-sha1 = "c901adea8415b66c62a4e109e0c4c10678b61825"
lazy = true
[["dubrovnik/problem-150-95821-pre.txt.bz2".download]]
sha256 = "6b5029fe412def51f503b28901b57934ad856b51c10fc71e52a6e889c1fa628d"
url = "https://grail.cs.washington.edu/projects/bal/data/dubrovnik/problem-150-95821-pre.txt.bz2"
["dubrovnik/problem-16-22106-pre.txt.bz2"]
git-tree-sha1 = "04c746596398ae78bea801b3c16a4e3d800c77ad"
lazy = true
[["dubrovnik/problem-16-22106-pre.txt.bz2".download]]
sha256 = "0d695947deb3fc3026e5434a904151b18fe8e60c0176e430dcb5e7a3da039ca5"
url = "https://grail.cs.washington.edu/projects/bal/data/dubrovnik/problem-16-22106-pre.txt.bz2"
["dubrovnik/problem-161-103832-pre.txt.bz2"]
git-tree-sha1 = "1d810dbf0d11f781beb3c74ee70e34dad9a3c259"
lazy = true
[["dubrovnik/problem-161-103832-pre.txt.bz2".download]]
sha256 = "060b21cdd51434c1a515d13238eb03acbc8706f2821f3d43e92989a5719aedbc"
url = "https://grail.cs.washington.edu/projects/bal/data/dubrovnik/problem-161-103832-pre.txt.bz2"
["dubrovnik/problem-173-111908-pre.txt.bz2"]
git-tree-sha1 = "5e041dd44e12e3c341b11875e3600b373ef59879"
lazy = true
[["dubrovnik/problem-173-111908-pre.txt.bz2".download]]
sha256 = "116eda2831e5b27716027c35e3aebb3de2830850189a2775fad4f4cdff6be298"
url = "https://grail.cs.washington.edu/projects/bal/data/dubrovnik/problem-173-111908-pre.txt.bz2"
["dubrovnik/problem-182-116770-pre.txt.bz2"]
git-tree-sha1 = "53f294e1e1df8ca337870646d0ff96a774b66e86"
lazy = true
[["dubrovnik/problem-182-116770-pre.txt.bz2".download]]
sha256 = "e7a170df761b28b484ac6f0c1e9c07187a212943d7ab378887432e74a4e08e17"
url = "https://grail.cs.washington.edu/projects/bal/data/dubrovnik/problem-182-116770-pre.txt.bz2"
["dubrovnik/problem-202-132796-pre.txt.bz2"]
git-tree-sha1 = "fec817d822d18ab1dbf017feebcbcf4067471b1e"
lazy = true
[["dubrovnik/problem-202-132796-pre.txt.bz2".download]]
sha256 = "4e2f8f74718021b39e8249f04e7bcb695267b8a353f2a49175e2df94f9267a36"
url = "https://grail.cs.washington.edu/projects/bal/data/dubrovnik/problem-202-132796-pre.txt.bz2"
["dubrovnik/problem-237-154414-pre.txt.bz2"]
git-tree-sha1 = "3eab086df04fbf52cdbcabbe2235153da610b6f8"
lazy = true
[["dubrovnik/problem-237-154414-pre.txt.bz2".download]]
sha256 = "817f324be685d2a61bfdc33cc99e67ca1de2941be8dce013040b38795199a2cf"
url = "https://grail.cs.washington.edu/projects/bal/data/dubrovnik/problem-237-154414-pre.txt.bz2"
["dubrovnik/problem-253-163691-pre.txt.bz2"]
git-tree-sha1 = "82a7210ce485666e491556de98da9c297c87f619"
lazy = true
[["dubrovnik/problem-253-163691-pre.txt.bz2".download]]
sha256 = "9cb658e3149c9eed4f5d99181a13477029a71e9e8400364d0c83f286835d709c"
url = "https://grail.cs.washington.edu/projects/bal/data/dubrovnik/problem-253-163691-pre.txt.bz2"
["dubrovnik/problem-262-169354-pre.txt.bz2"]
git-tree-sha1 = "0752213e73bb875a0d28ff097bfd1564ba132e66"
lazy = true
[["dubrovnik/problem-262-169354-pre.txt.bz2".download]]
sha256 = "84b0c8061a744ade39e8c2753bc26141686e3362a274d0a0826ab38a9bbd5bf9"
url = "https://grail.cs.washington.edu/projects/bal/data/dubrovnik/problem-262-169354-pre.txt.bz2"
["dubrovnik/problem-273-176305-pre.txt.bz2"]
git-tree-sha1 = "54471399cbe84b6a240541b09acb1b69382e683f"
lazy = true
[["dubrovnik/problem-273-176305-pre.txt.bz2".download]]
sha256 = "5b355eb9680d820c1d85a0eb4bed655814de3c5dab7d3fd14dd0044fc0d7887e"
url = "https://grail.cs.washington.edu/projects/bal/data/dubrovnik/problem-273-176305-pre.txt.bz2"
["dubrovnik/problem-287-182023-pre.txt.bz2"]
git-tree-sha1 = "30ac32cb8c6190d7e447cea864e4ad04faecb113"
lazy = true
[["dubrovnik/problem-287-182023-pre.txt.bz2".download]]
sha256 = "2974f60f632551deb9e51fd53284571bc5abf52b5df8d715d327a505653856b9"
url = "https://grail.cs.washington.edu/projects/bal/data/dubrovnik/problem-287-182023-pre.txt.bz2"
["dubrovnik/problem-308-195089-pre.txt.bz2"]
git-tree-sha1 = "66eac4bd2055c2f02e207393d59f39315ea99b21"
lazy = true
[["dubrovnik/problem-308-195089-pre.txt.bz2".download]]
sha256 = "409a1a17a86dd486212a4ba270038eabe62a98399dff6d9c0cd6c6c703b79e1d"
url = "https://grail.cs.washington.edu/projects/bal/data/dubrovnik/problem-308-195089-pre.txt.bz2"
["dubrovnik/problem-356-226730-pre.txt.bz2"]
git-tree-sha1 = "1cfd970e32fc44e83976fd7fcf62a5529fac2e45"
lazy = true
[["dubrovnik/problem-356-226730-pre.txt.bz2".download]]
sha256 = "d6e2e04864c88f1af2c12e91af4ee8cddab6e2a72d6b1bd5fa3c8883c971e365"
url = "https://grail.cs.washington.edu/projects/bal/data/dubrovnik/problem-356-226730-pre.txt.bz2"
["dubrovnik/problem-88-64298-pre.txt.bz2"]
git-tree-sha1 = "e362633c86ec23e7ddc1cd3729091adf856f2c80"
lazy = true
[["dubrovnik/problem-88-64298-pre.txt.bz2".download]]
sha256 = "0932671dd91eb8a36a24ad3c13495e7131e198cdcc30b0c606ab44458a72846b"
url = "https://grail.cs.washington.edu/projects/bal/data/dubrovnik/problem-88-64298-pre.txt.bz2"
["ladybug/problem-1031-110968-pre.txt.bz2"]
git-tree-sha1 = "dbf922286fe0e63f885b702cca43d113f7b80a37"
lazy = true
[["ladybug/problem-1031-110968-pre.txt.bz2".download]]
sha256 = "3a3fbed7026284aa7b670d223807870c24aacd4946ccc60bf8abbe86de79e116"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-1031-110968-pre.txt.bz2"
["ladybug/problem-1064-113655-pre.txt.bz2"]
git-tree-sha1 = "37f3743478004b166f2b7e09f8a5981cf940a3a4"
lazy = true
[["ladybug/problem-1064-113655-pre.txt.bz2".download]]
sha256 = "618dd7a3af97b49b20976f502deff19eed9f64a0730989b49798ee69082fd24b"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-1064-113655-pre.txt.bz2"
["ladybug/problem-1118-118384-pre.txt.bz2"]
git-tree-sha1 = "6ab0305ce5377676da266fd7036a6a52b4276ce7"
lazy = true
[["ladybug/problem-1118-118384-pre.txt.bz2".download]]
sha256 = "e05f866597c5ab837cda7d3221f9fa27d67ef20607d1ebf9696a2b311bd8b6a0"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-1118-118384-pre.txt.bz2"
["ladybug/problem-1152-122269-pre.txt.bz2"]
git-tree-sha1 = "9fe3f2cb2a31040af55b3a018c6ec8856be2e68d"
lazy = true
[["ladybug/problem-1152-122269-pre.txt.bz2".download]]
sha256 = "dcb9a1e70e2c28575403974fd85e8a4fc3e0388535a9b791a13639b575fb3623"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-1152-122269-pre.txt.bz2"
["ladybug/problem-1197-126327-pre.txt.bz2"]
git-tree-sha1 = "03e592564dc0f42b5eedab7a3b53bbf9ecbad3e1"
lazy = true
[["ladybug/problem-1197-126327-pre.txt.bz2".download]]
sha256 = "2453195a61a56311b79c22c483960905dc131ee4172f294187173fea224d5736"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-1197-126327-pre.txt.bz2"
["ladybug/problem-1235-129634-pre.txt.bz2"]
git-tree-sha1 = "4b4f58c073570eede8d9bc0e18031a2985b10195"
lazy = true
[["ladybug/problem-1235-129634-pre.txt.bz2".download]]
sha256 = "10b8515082dc065266e7d0ddad2d070dcb55529fbc20ff78679d2b99f08bcb3b"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-1235-129634-pre.txt.bz2"
["ladybug/problem-1266-132593-pre.txt.bz2"]
git-tree-sha1 = "fc39bfe440d138e8bf9adc442e45a1975f8fb46f"
lazy = true
[["ladybug/problem-1266-132593-pre.txt.bz2".download]]
sha256 = "5c6bfa1cf103bfffad578ce746c4dc306df0359696748d5b94cfe46c16d36183"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-1266-132593-pre.txt.bz2"
["ladybug/problem-1340-137079-pre.txt.bz2"]
git-tree-sha1 = "580bfe822e16d9a789516df19abb0d6fb61538ed"
lazy = true
[["ladybug/problem-1340-137079-pre.txt.bz2".download]]
sha256 = "9521c5e29b96492a2ab84c777e4ed10b95655a88639fdb3716e8c546c1156f9c"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-1340-137079-pre.txt.bz2"
["ladybug/problem-138-19878-pre.txt.bz2"]
git-tree-sha1 = "658f23b6973c0f3d927ec4af548616781e333dd5"
lazy = true
[["ladybug/problem-138-19878-pre.txt.bz2".download]]
sha256 = "0b7016e233ed8e0a4aa7dec79cca3d7dd6ffc40fd01846e1d0c9d2de1247a2b2"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-138-19878-pre.txt.bz2"
["ladybug/problem-1469-145199-pre.txt.bz2"]
git-tree-sha1 = "deee0e713f9b46cd9a75f245d823fde043a89c1a"
lazy = true
[["ladybug/problem-1469-145199-pre.txt.bz2".download]]
sha256 = "11d4d93fd5d7d6575f2f2b38a46955d4692e10921ac10fadb92506030c21e567"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-1469-145199-pre.txt.bz2"
["ladybug/problem-1514-147317-pre.txt.bz2"]
git-tree-sha1 = "cc4ba6b13ab362d4c305d2f21c06cb10d4a4fd90"
lazy = true
[["ladybug/problem-1514-147317-pre.txt.bz2".download]]
sha256 = "1b08f5a1a112f697a9f3480a6887db77b0095540b2c9c613d90ea40b9dcfd86d"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-1514-147317-pre.txt.bz2"
["ladybug/problem-1587-150845-pre.txt.bz2"]
git-tree-sha1 = "2b08e18ae0bb7d65709a0e062fe937b0f76af099"
lazy = true
[["ladybug/problem-1587-150845-pre.txt.bz2".download]]
sha256 = "ca6a310fcd3c5649fd4b17a7f13356fc7a6f8033e3932e82f42432eb90d0f948"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-1587-150845-pre.txt.bz2"
["ladybug/problem-1642-153820-pre.txt.bz2"]
git-tree-sha1 = "481a3d5abd3f7fe09e0478fd9f0923e2802955ea"
lazy = true
[["ladybug/problem-1642-153820-pre.txt.bz2".download]]
sha256 = "5e44fcf7e79862d53343cdaf80ee177c4b59d7193d1022f1b5934c28d34e9348"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-1642-153820-pre.txt.bz2"
["ladybug/problem-1695-155710-pre.txt.bz2"]
git-tree-sha1 = "4262d69f73c4e228881886f5403f68034d41588f"
lazy = true
[["ladybug/problem-1695-155710-pre.txt.bz2".download]]
sha256 = "c4f52c978513a0bccde40f5e607d5570e16608932ae4f2817ec7e82c0dd074ab"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-1695-155710-pre.txt.bz2"
["ladybug/problem-318-41628-pre.txt.bz2"]
git-tree-sha1 = "59f166b21f6dc628a4b8d06f10846ef223c3398f"
lazy = true
[["ladybug/problem-318-41628-pre.txt.bz2".download]]
sha256 = "228ee2613466e25e81821ca424044065c030913a5e5eb2feeac2246f0890ef63"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-318-41628-pre.txt.bz2"
["ladybug/problem-372-47423-pre.txt.bz2"]
git-tree-sha1 = "6cea78f2387bc93d89a74570f7c4b88f9e1c9eb5"
lazy = true
[["ladybug/problem-372-47423-pre.txt.bz2".download]]
sha256 = "071258cbfe6a882dc83204660682bbe9a8118f6ee2cc43c16813bf6fca75cdc2"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-372-47423-pre.txt.bz2"
["ladybug/problem-412-52215-pre.txt.bz2"]
git-tree-sha1 = "922cbd8236181aad6958c3c47fce6205c27fb88d"
lazy = true
[["ladybug/problem-412-52215-pre.txt.bz2".download]]
sha256 = "cdab718d5a98738f6aa305b646645863ddc46360ef5fa128b2431d7f4777ee35"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-412-52215-pre.txt.bz2"
["ladybug/problem-460-56811-pre.txt.bz2"]
git-tree-sha1 = "e8560260787f9fd681ee45b0fcbf5fc4b46850dd"
lazy = true
[["ladybug/problem-460-56811-pre.txt.bz2".download]]
sha256 = "962e8b3980526100c383f5970e47f07a316024172148d62c42dcb925b60c1065"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-460-56811-pre.txt.bz2"
["ladybug/problem-49-7776-pre.txt.bz2"]
git-tree-sha1 = "1c889d92a544c32de78828666f6b4d025495945b"
lazy = true
[["ladybug/problem-49-7776-pre.txt.bz2".download]]
sha256 = "1ccb15701a92a8ad909d30860a0108cd3f2d7916c1ecf2851e59a6198b9de6b0"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-49-7776-pre.txt.bz2"
["ladybug/problem-539-65220-pre.txt.bz2"]
git-tree-sha1 = "ed4ea0afac50c71bbeadd1843c0a45d0cdc564c9"
lazy = true
[["ladybug/problem-539-65220-pre.txt.bz2".download]]
sha256 = "45064e69fa3bbe37badf0c7af1ae5f64b19e0e716b0e873c2ef67ca6bb1297a1"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-539-65220-pre.txt.bz2"
["ladybug/problem-598-69218-pre.txt.bz2"]
git-tree-sha1 = "63f60e2b50589f60f8cf42dfe7e4541311cf2e5f"
lazy = true
[["ladybug/problem-598-69218-pre.txt.bz2".download]]
sha256 = "33f5129f8de00458fb539608960b4e5f8244020aa3163f2e9dc60973c07c4110"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-598-69218-pre.txt.bz2"
["ladybug/problem-646-73584-pre.txt.bz2"]
git-tree-sha1 = "759168bc1230360398ccead443f455e7ed498b85"
lazy = true
[["ladybug/problem-646-73584-pre.txt.bz2".download]]
sha256 = "990233f390fc2de3ac1e637e84940cb0de86baaccdd732a2ae309d2527d28936"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-646-73584-pre.txt.bz2"
["ladybug/problem-707-78455-pre.txt.bz2"]
git-tree-sha1 = "7c6cc8f4fc72941c5a525fb5b2baf9f66feb6126"
lazy = true
[["ladybug/problem-707-78455-pre.txt.bz2".download]]
sha256 = "5614d1e477bc7d0e954efe5e84cb84b81870cac4dca04efd0b21d0e5dc3d7f4f"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-707-78455-pre.txt.bz2"
["ladybug/problem-73-11032-pre.txt.bz2"]
git-tree-sha1 = "4461ac81e3c3c5793507c377bc719b421ece44ca"
lazy = true
[["ladybug/problem-73-11032-pre.txt.bz2".download]]
sha256 = "136d1b3814309cd1909dc5ab598fb5dcf83988ee47568c97a05804135721756c"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-73-11032-pre.txt.bz2"
["ladybug/problem-783-84444-pre.txt.bz2"]
git-tree-sha1 = "31689998d46ecb3855bb164a2cf6801669a31c40"
lazy = true
[["ladybug/problem-783-84444-pre.txt.bz2".download]]
sha256 = "93b24d5d5564a9d913e6bf826457026597cc7b121215e40cdd0715009b755145"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-783-84444-pre.txt.bz2"
["ladybug/problem-810-88814-pre.txt.bz2"]
git-tree-sha1 = "495695e92f1c329016f532d6c8eded90134759bc"
lazy = true
[["ladybug/problem-810-88814-pre.txt.bz2".download]]
sha256 = "2200bdafd380a32c4037e41c20bcfc7400018553d18193818617670117e10f17"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-810-88814-pre.txt.bz2"
["ladybug/problem-856-93344-pre.txt.bz2"]
git-tree-sha1 = "565cbc5908a2e6e040bd6340a7ad5c26c13095bf"
lazy = true
[["ladybug/problem-856-93344-pre.txt.bz2".download]]
sha256 = "a455ef5c248c23dfd6596a2ae26c456224cc03e921a178c741eb4859610bced2"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-856-93344-pre.txt.bz2"
["ladybug/problem-885-97473-pre.txt.bz2"]
git-tree-sha1 = "2653596e2ce78ce3c59f83a0a310be45790cac8e"
lazy = true
[["ladybug/problem-885-97473-pre.txt.bz2".download]]
sha256 = "c2ede5ef5604a91a1627c016191cdfd00beed6e45ae6ec5131fea98155f5b378"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-885-97473-pre.txt.bz2"
["ladybug/problem-931-102699-pre.txt.bz2"]
git-tree-sha1 = "a857257f94e3dfc3d64b815790182d9ec49427d4"
lazy = true
[["ladybug/problem-931-102699-pre.txt.bz2".download]]
sha256 = "7ed3916fbcf2ecef936415da48317142fc35fa3a351b7eab64cd386fe2f285db"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-931-102699-pre.txt.bz2"
["ladybug/problem-969-105826-pre.txt.bz2"]
git-tree-sha1 = "2ade2ed3d4a811ba5242957b5775ed9a1f95db03"
lazy = true
[["ladybug/problem-969-105826-pre.txt.bz2".download]]
sha256 = "717e82344b5dd9251e6e33adafb2fe5be372db7c4e19540a9676b02fb2b252b1"
url = "https://grail.cs.washington.edu/projects/bal/data/ladybug/problem-969-105826-pre.txt.bz2"
["trafalgar/problem-126-40037-pre.txt.bz2"]
git-tree-sha1 = "1a5db64f87d7bd1a88a9f8027cb823abda7decfd"
lazy = true
[["trafalgar/problem-126-40037-pre.txt.bz2".download]]
sha256 = "74f191aa27721e43d4d79f02906f225604efa19fedce42d2dfe111d39144978b"
url = "https://grail.cs.washington.edu/projects/bal/data/trafalgar/problem-126-40037-pre.txt.bz2"
["trafalgar/problem-138-44033-pre.txt.bz2"]
git-tree-sha1 = "fe04f05c207f6a80d0a27ffdbf42c5e828345534"
lazy = true
[["trafalgar/problem-138-44033-pre.txt.bz2".download]]
sha256 = "623bd65f9e741534829120abca4a8d39422281c2b1d16258322a7a79e6ea7764"
url = "https://grail.cs.washington.edu/projects/bal/data/trafalgar/problem-138-44033-pre.txt.bz2"
["trafalgar/problem-161-48126-pre.txt.bz2"]
git-tree-sha1 = "7158725b64cff11216f248399d696f94c12f2bd6"
lazy = true
[["trafalgar/problem-161-48126-pre.txt.bz2".download]]
sha256 = "516d34d6a24c14e56eff7ce7902f2adb8d0367d1a8714a2f7975e03d48afa32e"
url = "https://grail.cs.washington.edu/projects/bal/data/trafalgar/problem-161-48126-pre.txt.bz2"
["trafalgar/problem-170-49267-pre.txt.bz2"]
git-tree-sha1 = "1644ec3312a78211660293bb7884bc1386d236ab"
lazy = true
[["trafalgar/problem-170-49267-pre.txt.bz2".download]]
sha256 = "5ec749cbd48e23bc89e1023858222fed0f97ebd839b35681a3d7164ce050bca8"
url = "https://grail.cs.washington.edu/projects/bal/data/trafalgar/problem-170-49267-pre.txt.bz2"
["trafalgar/problem-174-50489-pre.txt.bz2"]
git-tree-sha1 = "a6a82b2ea3bfaab0554ae5e810cd352d2f809742"
lazy = true
[["trafalgar/problem-174-50489-pre.txt.bz2".download]]
sha256 = "5eda296cb9aa81b1b5692c0ce5df9ee3cef142ce869f45b2d20225f521503757"
url = "https://grail.cs.washington.edu/projects/bal/data/trafalgar/problem-174-50489-pre.txt.bz2"
["trafalgar/problem-193-53101-pre.txt.bz2"]
git-tree-sha1 = "33edf869c50b7389c85fd340663ae36958b6056a"
lazy = true
[["trafalgar/problem-193-53101-pre.txt.bz2".download]]
sha256 = "6585085298a24c761360805e203c18f0b24943928f7734bf363f351fe700e3f2"
url = "https://grail.cs.washington.edu/projects/bal/data/trafalgar/problem-193-53101-pre.txt.bz2"
["trafalgar/problem-201-54427-pre.txt.bz2"]
git-tree-sha1 = "b058c72197546a5d9a852078974dada6a137185e"
lazy = true
[["trafalgar/problem-201-54427-pre.txt.bz2".download]]
sha256 = "7635be4cd27770be9dfff5b4cf40db405cd29880c49c28711f1be248d55adbe4"
url = "https://grail.cs.washington.edu/projects/bal/data/trafalgar/problem-201-54427-pre.txt.bz2"
["trafalgar/problem-206-54562-pre.txt.bz2"]
git-tree-sha1 = "4b7413a2fb4544d318d42cb4c5961d3559a830a1"
lazy = true
[["trafalgar/problem-206-54562-pre.txt.bz2".download]]
sha256 = "86718117c6bbbc85039430f116965e3bf647f057fd3a5508ecc8c3f9614ba150"
url = "https://grail.cs.washington.edu/projects/bal/data/trafalgar/problem-206-54562-pre.txt.bz2"
["trafalgar/problem-21-11315-pre.txt.bz2"]
git-tree-sha1 = "dc13397cd2bb332f5a875c4f4409a46585226dca"
lazy = true
[["trafalgar/problem-21-11315-pre.txt.bz2".download]]
sha256 = "4a4ed35e334af9a60661bf83f1e86842e772f22a967113932456c5ebcf40e5e6"
url = "https://grail.cs.washington.edu/projects/bal/data/trafalgar/problem-21-11315-pre.txt.bz2"
["trafalgar/problem-215-55910-pre.txt.bz2"]
git-tree-sha1 = "09b507ce8856ca7420c0867438ea2f6ccc4081a1"
lazy = true
[["trafalgar/problem-215-55910-pre.txt.bz2".download]]
sha256 = "610e3cc1c955d862b570b4578dfa11cf009b6e0bb8c22a34121727db74111223"
url = "https://grail.cs.washington.edu/projects/bal/data/trafalgar/problem-215-55910-pre.txt.bz2"
["trafalgar/problem-225-57665-pre.txt.bz2"]
git-tree-sha1 = "ade4f1450c0812b40316c1b60818c047c5753593"
lazy = true
[["trafalgar/problem-225-57665-pre.txt.bz2".download]]
sha256 = "465663708cbd1f1c1e8face9ac26e187ca8c0e1366eb9cb0657e87b444af3d1e"
url = "https://grail.cs.washington.edu/projects/bal/data/trafalgar/problem-225-57665-pre.txt.bz2"
["trafalgar/problem-257-65132-pre.txt.bz2"]
git-tree-sha1 = "cd6de24afb058ae3ddbc6bcd7c6dbaf018a930e3"
lazy = true
[["trafalgar/problem-257-65132-pre.txt.bz2".download]]
sha256 = "c265ccb6dcb668f7e6248b4359f9c3f1e9fd82087d768f30331474c4c5a55d21"
url = "https://grail.cs.washington.edu/projects/bal/data/trafalgar/problem-257-65132-pre.txt.bz2"
["trafalgar/problem-39-18060-pre.txt.bz2"]
git-tree-sha1 = "2d7a59d0c07c8aa132be6c3fa7a998e0040dc380"
lazy = true
[["trafalgar/problem-39-18060-pre.txt.bz2".download]]
sha256 = "878b3aa55d85f1ed97d5e46ce89a26feed869cb7b951e3e6cd4703508e630bde"
url = "https://grail.cs.washington.edu/projects/bal/data/trafalgar/problem-39-18060-pre.txt.bz2"
["trafalgar/problem-50-20431-pre.txt.bz2"]
git-tree-sha1 = "c6637c2c95d8a0ec7aa2900491bcaa489bfc27af"
lazy = true
[["trafalgar/problem-50-20431-pre.txt.bz2".download]]
sha256 = "93612e50a76ca65ce84ee725590909fcd9ab01b88c0ab1f9b5215d4dc6d35e78"
url = "https://grail.cs.washington.edu/projects/bal/data/trafalgar/problem-50-20431-pre.txt.bz2"
["venice/problem-1102-780462-pre.txt.bz2"]
git-tree-sha1 = "e95ae564591152805ce5bfefac4906b6c4a937a7"
lazy = true
[["venice/problem-1102-780462-pre.txt.bz2".download]]
sha256 = "125a36eecb94ecfa3081b9bd462c5eb6a9df59356f3e3d632fe735770dcd75d1"
url = "https://grail.cs.washington.edu/projects/bal/data/venice/problem-1102-780462-pre.txt.bz2"
["venice/problem-1158-802917-pre.txt.bz2"]
git-tree-sha1 = "7736fabd0da359dc1dd6d4ad872fcf695f9b75ba"
lazy = true
[["venice/problem-1158-802917-pre.txt.bz2".download]]
sha256 = "f13f98178e7dd281553603be6afb26fad5ebfb26f15ac8db6cb8e0bbd76b6146"
url = "https://grail.cs.washington.edu/projects/bal/data/venice/problem-1158-802917-pre.txt.bz2"
["venice/problem-1184-816583-pre.txt.bz2"]
git-tree-sha1 = "162f9ef39a4a52e88195b0e688db18f24ef5dc97"
lazy = true
[["venice/problem-1184-816583-pre.txt.bz2".download]]
sha256 = "256d8a47a4c8983414ac2783580d6c2f1a076fdd01f3f13d5e76ec63298f5b9a"
url = "https://grail.cs.washington.edu/projects/bal/data/venice/problem-1184-816583-pre.txt.bz2"
["venice/problem-1238-843534-pre.txt.bz2"]
git-tree-sha1 = "f41b1eba354f375223ebe5a27c5c097c79c82aa9"
lazy = true
[["venice/problem-1238-843534-pre.txt.bz2".download]]
sha256 = "eae300a89ba8d87664af3c03ff29c9581e289230a8643f5cb0e90c661683584f"
url = "https://grail.cs.washington.edu/projects/bal/data/venice/problem-1238-843534-pre.txt.bz2"
["venice/problem-1288-866452-pre.txt.bz2"]
git-tree-sha1 = "08a56a03c863ac3ff205d4333e9f7644a11cb0c6"
lazy = true
[["venice/problem-1288-866452-pre.txt.bz2".download]]
sha256 = "513530dc1b23164e60a10692721db9ea83a44c45ec5dd22fdcdc58f9c0c4e2c2"
url = "https://grail.cs.washington.edu/projects/bal/data/venice/problem-1288-866452-pre.txt.bz2"
["venice/problem-1350-894716-pre.txt.bz2"]
git-tree-sha1 = "1e9b8af78b50cd16c194ebc166e52e727b0571c1"
lazy = true
[["venice/problem-1350-894716-pre.txt.bz2".download]]
sha256 = "c0057bbff603719b2baacbf103dacb5c0415bd0e72464ea3ea927eae3b06f802"
url = "https://grail.cs.washington.edu/projects/bal/data/venice/problem-1350-894716-pre.txt.bz2"
["venice/problem-1408-912229-pre.txt.bz2"]
git-tree-sha1 = "b0bb70cae7fc516da00a89054acc0f773129503e"
lazy = true
[["venice/problem-1408-912229-pre.txt.bz2".download]]
sha256 = "022349f22648d6948d664e93c1e47dd3afa6352c67357304533b530a82fbdca1"
url = "https://grail.cs.washington.edu/projects/bal/data/venice/problem-1408-912229-pre.txt.bz2"
["venice/problem-1778-993923-pre.txt.bz2"]
git-tree-sha1 = "ac608b53f1aae51fd4a98f1c4f3e950ce17214a6"
lazy = true
[["venice/problem-1778-993923-pre.txt.bz2".download]]
sha256 = "5a47b1f594e3e66f0ee56c66cd5d07fd15531861b9856bf2ab604b079dc3c914"
url = "https://grail.cs.washington.edu/projects/bal/data/venice/problem-1778-993923-pre.txt.bz2"
["venice/problem-245-198739-pre.txt.bz2"]
git-tree-sha1 = "2971a0b6fa76b7b0e18a077c2cc17ed3b637c78d"
lazy = true
[["venice/problem-245-198739-pre.txt.bz2".download]]
sha256 = "4a6e53efc2fd8d4b9901003627aba3dcae83470a1692424f711fd7f6fa7a0308"
url = "https://grail.cs.washington.edu/projects/bal/data/venice/problem-245-198739-pre.txt.bz2"
["venice/problem-427-310384-pre.txt.bz2"]
git-tree-sha1 = "06f61614c4cb41041c036d859d291c885c1f68e0"
lazy = true
[["venice/problem-427-310384-pre.txt.bz2".download]]
sha256 = "a6aa017a5755c8ddea1bf67d9f73789cd3d83b198c655d0b06c1fe2c6c91c0e0"
url = "https://grail.cs.washington.edu/projects/bal/data/venice/problem-427-310384-pre.txt.bz2"
["venice/problem-52-64053-pre.txt.bz2"]
git-tree-sha1 = "0e8d2fbcfb9ad263b286c10d486372cbf5f1657b"
lazy = true
[["venice/problem-52-64053-pre.txt.bz2".download]]
sha256 = "f378c9774e92f02b6b97f1e790458ebefb444ea26def60580a7e38224c43a753"
url = "https://grail.cs.washington.edu/projects/bal/data/venice/problem-52-64053-pre.txt.bz2"
["venice/problem-744-543562-pre.txt.bz2"]
git-tree-sha1 = "a5e077355edc8e607bb15b176dea69d53df1fc67"
lazy = true
[["venice/problem-744-543562-pre.txt.bz2".download]]
sha256 = "e1576e5fa00d8770b1ec9b86b44841c20d997f8903e89158dcb2ee1f446cdb04"
url = "https://grail.cs.washington.edu/projects/bal/data/venice/problem-744-543562-pre.txt.bz2"
["venice/problem-89-110973-pre.txt.bz2"]
git-tree-sha1 = "10218487b520306769cfb1df9ad37d8824574d0e"
lazy = true
[["venice/problem-89-110973-pre.txt.bz2".download]]
sha256 = "a565e3160c1334184eec8e135d2373c7e9f0fa7754cc6000a43aef12eac811e6"
url = "https://grail.cs.washington.edu/projects/bal/data/venice/problem-89-110973-pre.txt.bz2"
["venice/problem-951-708276-pre.txt.bz2"]
git-tree-sha1 = "2dad356ae0a877d049fb5746c837e7d5cb999b1a"
lazy = true
[["venice/problem-951-708276-pre.txt.bz2".download]]
sha256 = "1afb64d65cb376795db8c7e6a7427922621d462718e447ec8012b4bda9b1d29a"
url = "https://grail.cs.washington.edu/projects/bal/data/venice/problem-951-708276-pre.txt.bz2"