TIME: 40


SCC: 8
=================================
Global Ranking Function: nat(1*A+ -5)

  6_loop(A) :- 6_loop(B) [1*A+ -1*B=1,1*A>=6]
=================================