TIME: 1800


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

  Fractale1_fractale(ILPoint;LPoint;)V(A,B,C) :- Fractale1_fractale(ILPoint;LPoint;)V(D,E,F) [1*C>=1,1*B>=1,1*A>=2,1*B+ -1*E=0,1*A+ -1*D=1,1*F=1]
  Fractale1_fractale(ILPoint;LPoint;)V(A,B,C) :- Fractale1_fractale(ILPoint;LPoint;)V(D,E,F) [1*C>=1,1*B>=1,1*A>=2,1*E=1,1*A+ -1*D=1,1*C+ -1*F=0]
=================================