eq(f0(A,B,C),1,[f11(D,E,D,F,G,H,I),loop_cont_f11(G,H,I)],[F=0]).
eq(f0(A,B,C),1,[f11(D,E,D,F,G,H,I)],[F=1]).
eq(f26(A,B,C),1,[f27(A,B,C)],[]).
eq(f27(A,B,C),1,[f27(A,B,C)],[]).
eq(f29(A,B,C),1,[f32(A,B,C)],[]).
eq(f11(A,B,C,D,E,F,G),1,[f14(A,B,C,D,E,F,G)],[A>=6]).
eq(f11(A,B,C,D,E,F,G),1,[f14(A,B,C,D,E,F,G)],[5>=A,0>=B]).
eq(f11(A,B,C,D,E,F,G),1,[f20(A,B,C,H,I,J,K),loop_cont_f20(I,J,K,D,E,F,G)],[H=0,5>=A,B>=1]).
eq(f11(A,B,C,D,E,F,G),1,[f20(A,B,C,H,I,J,K)],[D=1,H=1,5>=A,B>=1]).
eq(f20(A,B,C,D,E,F,G),1,[f20(A-1,B,C,D,E,F,G)],[A>=3]).
eq(f14(A,B,C,D,E,F,G),1,[f11(A+1,H,C,D,E,F,G)],[A>=6]).
eq(f14(A,B,C,D,E,F,G),1,[f11(A+1,H,C,D,E,F,G)],[5>=A]).
eq(loop_cont_f20(A,B,C,D,E,F,G),0,[f11(A,B,C,D,E,F,G)],[]).
eq(f11(A,B,C,D,A,B,C),0,[],[D=1]).
eq(f20(A,B,C,D,A,E,C),1,[],[D=0,2>=A]).