disco-0.2: test/arith-numthry/expected

3
3
T
T
T
T
T
F
F
F
T
T