eq(f0(A,B,C,D,E),1,[f1(F,1,0,D,E,G,H,I,J,K,L),loop_cont_f1(H,I,J,K,L)],[G=0]).
eq(f0(A,B,C,D,E),1,[f1(F,1,0,D,E,G,H,I,J,K,L)],[G=1]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K),1,[f1(A-10,B-1,C,D,E,F,G,H,I,J,K)],[B>=1,A>=101]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K),1,[f1(A+11,B+1,C,D,E,F,G,H,I,J,K)],[B>=1,100>=A]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K),1,[f1(A-10,B-1,1,A,B,F,G,H,I,J,K)],[A>=101,0>=C,B>=1]).
eq(f1(A,B,C,D,E,F,G,H,I,J,K),1,[f1(A+11,B+1,1,A,B,F,G,H,I,J,K)],[100>=A,0>=C,B>=1]).
eq(f1(A,B,C,D,E,F,A,B,C,D,E),1,[],[F=1,D>=A,C>=1,B>=E]).