TIME: 259


SCC: 13
=================================
Global Ranking Function: log(2,nat(2*B+ -1)+1)

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