eq(f0(A,B,C,D),1,[f10001(A,B,C,D)],[]).
eq(f0(A,B,C,D),1,[f10001(A,1,C,D)],[]).
eq(f0(A,B,C,D),1,[f110(1,1,C,D)],[]).
eq(f0(A,B,C,D),1,[f10001(B,B,C,1)],[]).
eq(f0(A,B,C,D),1,[f10001(B,1,C,1)],[]).
eq(f0(A,B,C,D),1,[f2(A,2,C,D,E,F,G,H,I),loop_cont_f2(F,G,H,I)],[E=0]).
eq(f0(A,B,C,D),1,[f2(A,2,C,D,E,F,G,H,I)],[E=1]).
eq(f0(A,B,C,D),1,[f12(B,2,C,D,E,F,G,H,I),loop_cont_f12(F,G,H,I)],[E=0]).
eq(f0(A,B,C,D),1,[f12(B,2,C,D,E,F,G,H,I)],[E=1]).
eq(f2200(A,B,C,D),1,[f10000(A,B,0,D)],[C=0]).
eq(f100(A,B,C,D),1,[f110(A,1,C,D)],[]).
eq(f100(A,B,C,D),1,[f10001(A,B,C,1)],[]).
eq(f110(A,B,C,D),1,[f10001(A,B,C,1)],[]).
eq(f1000(A,B,C,D),1,[f10001(A,B,C,1)],[]).
eq(f1000(A,B,C,D),1,[f10001(A,1,C,1)],[]).
eq(f1000(A,B,C,D),1,[f1200(A,2,C,D,E,F,G,H,I),loop_cont_f1200(F,G,H,I)],[E=0]).
eq(f1000(A,B,C,D),1,[f1200(A,2,C,D,E,F,G,H,I)],[E=1]).
eq(loop_cont_f2(A,B,C,D),0,[f1200(A,B,C,D,E,F,G,H,I),loop_cont_f1200(F,G,H,I)],[E=0]).
eq(loop_cont_f2(A,B,C,D),0,[f1200(A,B,C,D,E,F,G,H,I)],[E=1]).
eq(f110(A,B,C,D),1,[f120(A,2,C,D,E,F,G,H,I),loop_cont_f120(F,G,H,I)],[E=0]).
eq(f110(A,B,C,D),1,[f120(A,2,C,D,E,F,G,H,I)],[E=1]).
eq(f2(A,B,C,D,E,F,G,H,I),1,[f2(A,B,C,D,E,F,G,H,I)],[]).
eq(f1200(A,B,C,D,E,F,G,H,I),1,[f1200(A,B,C,D,E,F,G,H,I)],[]).
eq(f120(A,B,C,D,E,F,G,H,I),1,[f120(A,B,C,D,E,F,G,H,I)],[]).
eq(f12(A,B,C,D,E,F,G,H,I),1,[f12(A,B,C,D,E,F,G,H,I)],[]).
eq(f2(A,B,C,D,E,B,B,C,D),1,[],[E=0]).
eq(f2(A,B,C,D,E,A,B,C,D),1,[],[E=1]).
eq(f1200(A,B,C,D,E,A,B,C,1),1,[],[E=1]).
eq(f120(A,B,C,D,E,A,B,C,1),1,[],[E=1]).
eq(f12(A,B,C,D,E,A,B,C,1),1,[],[E=1]).