33 `>`(`+`(`^`(9, `+`(x, `-`(3))), `-`(`^`(9, `+`(x, `-`(2)))), `^`(9, `+`(x, `-`(1)))), 511).