module IntegerSequence

import StdEnv

Start = [x \\ x <- [1..]]