path: root/testsuite/tests/arrows/should_run/arrowrun002.stdout

Succ (Succ (Succ (Zero (((8,7),(6,5)),((4,3),(2,1))))))
Succ (Succ (Succ (Zero (((1,5),(3,7)),((2,6),(4,8))))))
Succ (Succ (Succ (Zero (((1,2),(3,4)),((5,6),(7,8))))))
Succ (Succ (Succ (Zero (((1,3),(6,10)),((15,21),(28,36))))))