from __future__ import print_function
import islpy as isl
print(isl.Set("[n] -> { [i_outer, i_inner] : n >= 0 and 4i_outer >= -4 + n and i_inner >= 0 and -4i_outer <= i_inner <= 3 and i_inner < n - 4i_outer }").dim_min(0))

# output for islpy 0a9d94b99999951e39b3ff4a9ead759189516d13
# [n] -> { [(-1 + n - floor((3n)/4))] : n >= 5; [(0)] : 0 < n <= 4 }

# output for islpy b9f4f8bc321465fb058f4f4d9068ac455490769a
# [n] -> { [(-1 + n - floor((3n)/4))] : n > 0 }