1 {[x] : x >= 0 && x <= 20 } 2 {[x] -> [y] : y = 2x} 3 {[y]: Exists ( alpha : 2alpha = y && 0 <= y && y <= 40)} 4
Indexes created Mon Mar 02 05:31:46 UTC 2026
