Loading clauses.disco...
Loaded.
[5, 11, 19]
[1, 2, 3, 4, 5, 6]