--
-- This file has been auto-generated by egison-translator.
--

def main (argv: [String]) : IO () := each print (map show primes)