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

match between 1 n as multiset integer with
  | $x :: #x :: _ -> "Matched"
  | _ -> "Not matched"

match between 1 n as multiset integer with
  | $x :: #x :: #x :: _ -> "Matched"
  | _ -> "Not matched"

match between 1 n as multiset integer with
  | $x :: #x :: #x :: #x :: _ -> "Matched"
  | _ -> "Not matched"