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

take
  100
  (matchAll nats as set integer with
    | $x :: $y :: _ -> (x, y))

take
  100
  (matchAll primes as list integer with
    | _ ++ $p :: #(p + 2) :: _ -> (p, p + 2))