succ (succ (succ (succ (succ (succ (succ (succ (succ (succ zero)))))))))
succ (succ (succ (succ (succ (succ (succ (succ (succ zero))))))))
succ (succ (succ (succ (succ (succ (succ (succ zero)))))))
succ (succ (succ (succ (succ (succ (succ zero))))))
succ (succ (succ (succ (succ (succ zero)))))
succ (succ (succ (succ (succ zero))))
succ (succ (succ (succ zero)))
succ (succ (succ zero))
succ (succ zero)
succ zero
zero

succ (succ zero)

