Loading case-arith.disco...
Loading list.disco...
Running tests...
  Zabs: OK
Loaded.
0
1
540
0
2
0
2
-1
left(1, -1)
right(0, -1)
1
1
5
7
3
1/3
200
-1/6
2
2
3
3
17
17
0
[1/4, 1/3, 4/3, 1/2, 3/5, 3/2, 5/2, 1, 2/5, 2/3, 5/3, 2, 3/4, 3, 4]
5
1
2
-2
5
5