import ./Utils/Iters.cro
import ./Utils/NumberTheory.cro

Triangles = ScanIt (+) 0 (NatsFrom 1)

Main = Unwrap (FindIt (\n -> DivisorsCount n > 500) Triangles)