6.81/6.90	YES
6.81/6.90	
6.81/6.90	
6.81/6.90	Termination: (Ranking Functions Found)
6.81/6.90	------------
6.81/6.90	f106_0_test_LE: < < arg2 > >
6.81/6.90	f78_0_test_LE: < < arg2 > >
6.81/6.90	f134_0_test_LE: < < arg2 > >
6.81/6.90	f162_0_test_LE: < < arg2 > >
6.81/6.90	f204_0_test_LE: < < arg2 > >
6.81/6.90	f218_0_test_LE: < < arg1 > >
6.81/6.90	f64_0_test_LE: < < arg2 > >
6.81/6.90	f43_0_main_GE: < < -1 + arg1 >, < 99 - arg3 > >
6.81/6.90	f190_0_test_LE: < < arg2 > >
6.81/6.90	f92_0_test_LE: < < arg2 > >
6.81/6.90	f176_0_test_LE: < < arg2 > >
6.81/6.90	f148_0_test_LE: < < arg2 > >
6.81/6.90	f120_0_test_LE: < < arg2 > >
6.81/6.90	f31_0_main_Cmp: < < arg1 > >
6.81/6.90	
6.81/6.90	
6.88/6.96	EOF