eq(f6(A,B,C),1,[f4(A,B,1,D,E,F,G),loop_cont_f4(E,F,G)],[D=0,A>=1]).
eq(f6(A,B,C),1,[f4(A,B,1,D,E,F,G)],[D=1,A>=1]).
eq(f5(A,B,C),1,[f3(1-A,B,0)],[A>=1,C=1]).
eq(f4(A,B,C,D,E,F,G),1,[f3(1-A,B,0,D,E,F,G)],[0>=A+1,C=1]).
eq(f4(A,B,C,D,E,F,G),1,[f3(1-A,B,0,D,E,F,G)],[A>=1,C=1]).
eq(f3(A,B,C,D,E,F,G),1,[f4(-1-A,B,1,D,E,F,G)],[0>=A+1,0>=C]).
eq(f3(A,B,C,D,E,F,G),1,[f4(-1-A,B,1,D,E,F,G)],[0>=A+1,C>=2]).
eq(f3(A,B,C,D,E,F,G),1,[f4(-1-A,B,1,D,E,F,G)],[A>=1,0>=C]).
eq(f3(A,B,C,D,E,F,G),1,[f4(-1-A,B,1,D,E,F,G)],[A>=1,C>=2]).
eq(f0(A,B,C,D,E,F,G),1,[f3(-A,B,C,D,E,F,G)],[]).
eq(f5(A,B,C,D,E,F,G),1,[f3(1-A,B,0,D,E,F,G)],[0>=A+1,C=1]).
eq(f3(A,B,C,D,0,E,C),1,[],[D=1,A=0]).
eq(f4(A,B,C,D,0,E,C),1,[],[D=1,A=0]).