# Circle with radius s

define @-s 0 - s

5*@-s <= x <= 5*s
5*@-s <= y <= 5*s
@-s <= z <= s

(ρ - 3*s)^2 + z^2 <= s^2