set(knuth_bendix).
set(back_unit_deletion).

assign(pick_given_ratio, 4).

clear(print_kept).
clear(print_new_demod).
clear(print_back_demod).
clear(print_back_sub).

assign(max_seconds, 2).

list(usable).
x = x.
p(B,B,A) != A | p(A,B,B) != A | p(A,B,A) != A | f1(A) != A | f2(A) != A.
end_of_list.