(define babbage N -> N where (= 269696 (shen.mod (* N N) 1000000))) N -> (babbage (+ N 1)) (babbage 1)