TIME: 160


SCC: 7
=================================
Global Ranking Function: nat(1*A)

  17_loop(A,B,C) :- 17_loop(D,E,F) [1*A+ -1*D+ -1*E=0,1*C+ -1*F= -1,1*A+ -1*B+ -1*D=0,1*A+ -1*D>=1,1*D>=0]
=================================