NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 7: 0 <= 0 and x_5_0+-19 <= 0 and -y_6_0+30 <= 0
Errors: