TIME: 42300


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

  Norm/Norm_norm(LNorm/Form;)LNorm/Form;(A) :- Norm/Norm_norm(LNorm/Form;)LNorm/Form;(B) [1*A+ -1*B>=1,1*B>=1]
=================================

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

  Norm/Form_createForm(I)LNorm/Form;(A) :- Norm/Form_createForm(I)LNorm/Form;(B) [1*A>=2,1*A+ -1*B=1]
=================================