NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 8: d_6_0 <= -1 and -i_5_0 <= 0
Errors: