34.90/34.99	YES
34.90/34.99	
34.90/34.99	
34.90/34.99	Termination: (Ranking Functions Found)
34.90/34.99	------------
34.90/34.99	l2: < < n1_0 - y_next_0 >, < 0 >, < -14 + 7 * executed_Drive_0 + 7 * n1_0 -7 * y_next_0 >, < -2 + executed_Drive_0 + n1_0 - y_next_0 > >
34.90/34.99	l3: < < n1_0 - y_0 >, < -1 + executed_Drive_0 >, < 7 * n1_0 - pc_Drive_0 -7 * y_next_0 >, < -1 + n1_0 - y_0 > >
34.90/34.99	l5: < < n1_0 - y_0 >, < 0 >, < -14 + 7 * executed_Drive_0 + 7 * n1_0 -7 * y_next_0 >, < -2 + executed_Drive_0 + n1_0 - y_0 > >
34.90/34.99	l4: < < n1_0 - y_0 >, < 0 >, < -14 + 7 * executed_Drive_0 + 7 * n1_0 -7 * y_0 >, < -2 + executed_Drive_0 + n1_0 - y_next_0 > >
34.90/34.99	
34.90/34.99	
34.98/35.06	EOF