Loading many-clauses.disco...
Loaded.
0
1
144
15
5000
100
267
