11.34/11.35	YES
11.34/11.35	
11.34/11.35	
11.34/11.35	Termination: (Ranking Functions Found)
11.34/11.35	------------
11.34/11.35	l10: < < 10 * edgecount_0 -15 * i_0 >, < -5 * j_0 + 4 * nodecount_0 > >
11.34/11.35	l15: < < -15 * i_0 + 12 * nodecount_0, 0 > >
11.34/11.35	l6: < < 36 -6 * i_0, 0 > >
11.34/11.35	l8: < < -15 * i_0 + 12 * nodecount_0 > >
11.34/11.35	l7: < < -6 * i_0 + 6 * nodecount_0, 30 -6 * i_0 > >
11.34/11.35	l4: < < 60 -15 * i_0, 60 -15 * i_0 > >
11.34/11.35	l5: < < 5 * edgecount_0 -6 * i_0, 0 > >
11.34/11.35	l3: < < 10 * edgecount_0 -15 * i_0, 10 * edgecount_0 -15 * i_0 > >
11.34/11.35	l13: < < 60 -15 * i_0, 0 > >
11.34/11.35	l14: < < 10 * edgecount_0 -15 * i_0, 0 > >
11.34/11.35	l11: < < 60 -15 * i_0 >, < -5 * j_0 + 5 * nodecount_0 > >
11.34/11.35	l9: < < 60 -15 * i_0 > >
11.34/11.35	l2: < < -5 * i_0 + 4 * nodecount_0 > >
11.34/11.35	l12: < < 10 * edgecount_0 -15 * i_0 >, < 25 -5 * j_0 > >
11.34/11.35	l0: < < 20 -5 * i_0 > >
11.34/11.35	
11.34/11.35	
11.38/11.41	EOF