blob: 3e026e5b8fc014c5c2884583b354aed947afb136 [file] [log] [blame]
[n] -> { : n mod 2 = 0 }
-1
[n] -> { [i] : n <= i }