blob: 1804563600ce85b350915eef902cb4f64c48dc81 [file] [log] [blame]
[n] -> { [x] -> -1 + [(x+5)/7] : -n - 20 <= x <= n }