eq(f28(A,B,C,D,E),1,[f20(A,1,A,1,A)],[A>=1]).
eq(f12(A,B,C,D,E),1,[f11(A,B,C,D,E)],[]).