eq(f0(A,B,C),1,[f11(0,1,D)],[99>=E]).
eq(f0(A,B,C),1,[f11(0,1,D)],[]).