63.46/63.73	YES
63.46/63.73	
63.46/63.73	
63.46/63.73	Termination: (Ranking Functions Found)
63.46/63.73	------------
63.46/63.73	l8: < < x_13_0 >, < y_15_0 >, < 1 + x_13_0 > >
63.46/63.73	l41: < < y_15_0 >, < x_13_0 >, < y_15_0 > >
63.46/63.73	l39: < < y_15_0 >, < -1 + y_15_0 > >
63.46/63.73	l23: < < y_15_0 >, < - c_16_0 + x_13_0 > >
63.46/63.73	l40: < < x_13_0 >, < x_13_0 >, < y_15_0 > >
63.46/63.73	n_l1___4: < < x_13_0 >, < 2 + x_13_0 > >
63.46/63.73	l38: < < y_15_0 >, < - c_16_0 + x_13_0 > >
63.46/63.73	l28: < < x_13_0 > >
63.46/63.73	l7: < < y_15_0 >, < y_15_0 >, < 1 + y_15_0 > >
63.46/63.73	l24: < < y_15_0 >, < x_13_0 >, < x_13_0 > >
63.46/63.73	l6: < < y_15_0 >, < x_13_0 >, < c_16_0 + x_13_0 > >
63.46/63.73	l13: < < x_13_0 > >
63.46/63.73	n_l15___1: < < y_15_0 >, < 2 + y_15_0 > >
63.46/63.73	l27: < < x_13_0 > >
63.46/63.73	l51: < < x_13_0 > >
63.46/63.73	l50: < < x_13_0 > >
63.46/63.73	n_l1___5: < < 1 + x_13_0 >, < 3 + y_15_0 > >
63.46/63.73	n_l1___2: < < 1 + x_13_0 >, < 1 + x_13_0 >, < -1 + y_15_0 > >
63.46/63.73	l12: < < y_15_0 > >
63.46/63.73	l14: < < x_13_0 > >
63.46/63.73	n_l15___3: < < y_15_0 >, < y_15_0 >, < x_13_0 > >
63.46/63.73	l52: < < x_13_0 > >
63.46/63.73	l49: < < x_13_0 > >
63.46/63.73	
63.46/63.73	
63.46/63.79	EOF