NO
Nontermination proof succeeded
Found this recurrent set for cutpoint 9: hi_0 == 0 and hi_post == 0 and lo_0 == 99 and lo_post == 99
Errors: