NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 9: cnt_27_0 == -1 and cnt_32_0 == 0 and ct_49_0 == 256 and lt_13_1 == 256 and lt_14_1 == 256 and lt_16_1 == -1 and lt_17_1 == -1 and lt_18_1 == 0
Errors: