interpretation( 4, [number = 1,seconds = 0], [
    function(*(_,_), [0,1,2,3,1,0,3,2,2,3,0,1,3,2,1,0]),
    function(/(_,_), [0,1,2,3,1,0,3,2,2,3,0,1,3,2,1,0]),
    function(\(_,_), [0,1,2,3,1,0,3,2,2,3,0,1,3,2,1,0])]).
interpretation( 4, [number = 2,seconds = 0], [
    function(*(_,_), [0,1,2,3,1,0,3,2,2,3,1,0,3,2,0,1]),
    function(/(_,_), [0,1,3,2,1,0,2,3,2,3,0,1,3,2,1,0]),
    function(\(_,_), [0,1,2,3,1,0,3,2,3,2,0,1,2,3,1,0])]).
% interpfilter assoc-comm.clauses all_true: checked 35, passed 2, 0.00 seconds.