TIME: 160


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

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