11.66/11.68	YES
11.66/11.68	
11.66/11.68	
11.66/11.68	Termination: (Ranking Functions Found)
11.66/11.68	------------
11.66/11.68	l0: < < 4 - i_0 > >
11.66/11.68	l4: < < 272 -17 * i_0, 16 * edgecount_0 -17 * i_0 > >
11.66/11.68	l7: < < 15 * edgecount_0 -85 * i_0 >, < 17 * edgecount_0 -17 * j_0, 0 > >
11.66/11.68	l9: < < -85 * i_0 + 68 * nodecount_0 > >
11.66/11.68	l15: < < 20 * edgecount_0 -85 * i_0, 20 * edgecount_0 -85 * i_0 > >
11.66/11.68	l13: < < -85 * i_0 + 68 * nodecount_0, 20 * edgecount_0 -85 * i_0 > >
11.66/11.68	l12: < < 340 -85 * i_0, 0 > >
11.66/11.68	l8: < < -85 * i_0 + 51 * nodecount_0 >, < 16 * edgecount_0 -17 * j_0, 272 -17 * j_0 > >
11.66/11.68	l14: < < 340 -85 * i_0, 0 > >
11.66/11.68	l6: < < 15 * edgecount_0 -85 * i_0 >, < 272 -17 * j_0, 0 > >
11.66/11.68	l2: < < 4 - i_0 > >
11.66/11.68	l3: < < 272 -17 * i_0, 0 > >
11.66/11.68	l11: < < -85 * i_0 + 68 * nodecount_0, 0 > >
11.66/11.68	l10: < < -85 * i_0 + 68 * nodecount_0 > >
11.66/11.68	l5: < < 272 -17 * i_0, 16 * edgecount_0 -17 * i_0 > >
11.66/11.68	
11.66/11.68	
11.70/11.75	EOF