op(400,xfx,*).

set(para_from).
set(para_into).
set(para_from_vars).
set(para_into_vars).
set(order_eq).

set(geometric_rule).
set(geometric_rewrite_before).

assign(pick_given_ratio, 4).

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

assign(max_mem, 16000).

set(back_demod).
set(process_input).

%%%%%%%%%%%%%%%%%%%%%  Modifications to basic gL strategy below.

% assign(max_weight, 30).
clear(para_into_vars).

list(usable).
x = x.
end_of_list.

list(sos).
% f(x1,x2,x3,x4,x5) = f(x1,x2,x3,x5,x4).
f(x,y,z,u,v) = f(x,y,z,v,u).

f(e,e,e,e,e) = e.
f(e,e,e,x,f(e,e,e,x,y)) = y.
end_of_list.

list(passive).
f(A1,A2,A3,A4,f(A1,A2,A3,A4,A5)) != A5.
end_of_list.