(ite (<= (+ (+ (+ x 2) 2) 2) 0) 1 2) | (ite (<= (+ 2 (+ (+ 2 (+ 2 2)) x)) 0) 2 1)
