% Started on gyro.thornwood at Wed Dec  3 18:19:43 CST 2003.
% Here is the mace head file head.r29.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% op(450, infix_right, +).   % ring sum
% op(400, infix_right, *).   % ring product
% op(350, prefix, -).  % ring minus
% 
% set(print_models_portable).
% assign(domain_size, 11).
% assign(iterate_up_to, 29).
% set(iterate_primes).
% 
% % The following fixes [+,-,*] as the ring of integers (mod domain_size).
% 
% set(integer_ring).
% 
% clauses(theory).
% 
% g(x) = M * x.
% f(x,y) = (H * x) + (K * y).
% 
% % denial of group
% 
% f(f(X,Y),Z) != f(X,f(Y,Z)) | f(f(g(X),X),Y) != Y | f(g(X),X) != f(g(Y),Y).
% 
% end_of_list.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% f(f(g(f(y,g(z))),x),f(f(g(f(z,x)),z),y)) = z.  % candidate 1

interpretation( 11, [

        function(M, [1]),

        function(H, [8]),

        function(K, [4]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,1,2,3,4,5,6,7,8,9,10]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,4,8,1,5,9,2,6,10,3,7,
			  8,1,5,9,2,6,10,3,7,0,4,
			  5,9,2,6,10,3,7,0,4,8,1,
			  2,6,10,3,7,0,4,8,1,5,9,
			  10,3,7,0,4,8,1,5,9,2,6,
			  7,0,4,8,1,5,9,2,6,10,3,
			  4,8,1,5,9,2,6,10,3,7,0,
			  1,5,9,2,6,10,3,7,0,4,8,
			  9,2,6,10,3,7,0,4,8,1,5,
			  6,10,3,7,0,4,8,1,5,9,2,
			  3,7,0,4,8,1,5,9,2,6,10])
]).

% g(f(g(f(f(y,x),z)),f(f(y,f(z,g(z))),x))) = z.  % candidate 2

interpretation( 11, [

        function(M, [2]),

        function(H, [1]),

        function(K, [9]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,2,4,6,8,10,1,3,5,7,9]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,9,7,5,3,1,10,8,6,4,2,
			  1,10,8,6,4,2,0,9,7,5,3,
			  2,0,9,7,5,3,1,10,8,6,4,
			  3,1,10,8,6,4,2,0,9,7,5,
			  4,2,0,9,7,5,3,1,10,8,6,
			  5,3,1,10,8,6,4,2,0,9,7,
			  6,4,2,0,9,7,5,3,1,10,8,
			  7,5,3,1,10,8,6,4,2,0,9,
			  8,6,4,2,0,9,7,5,3,1,10,
			  9,7,5,3,1,10,8,6,4,2,0,
			  10,8,6,4,2,0,9,7,5,3,1])
]).

% g(f(g(f(f(y,x),z)),f(f(y,f(x,g(x))),x))) = z.  % candidate 3

interpretation( 11, [

        function(M, [6]),

        function(H, [6]),

        function(K, [8]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,6,1,7,2,8,3,9,4,10,5]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,8,5,2,10,7,4,1,9,6,3,
			  6,3,0,8,5,2,10,7,4,1,9,
			  1,9,6,3,0,8,5,2,10,7,4,
			  7,4,1,9,6,3,0,8,5,2,10,
			  2,10,7,4,1,9,6,3,0,8,5,
			  8,5,2,10,7,4,1,9,6,3,0,
			  3,0,8,5,2,10,7,4,1,9,6,
			  9,6,3,0,8,5,2,10,7,4,1,
			  4,1,9,6,3,0,8,5,2,10,7,
			  10,7,4,1,9,6,3,0,8,5,2,
			  5,2,10,7,4,1,9,6,3,0,8])
]).

% g(f(f(g(f(y,z)),y),f(f(z,x),g(f(z,x))))) = z.  % candidate 7

interpretation( 11, [

        function(M, [2]),

        function(H, [3]),

        function(K, [4]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,2,4,6,8,10,1,3,5,7,9]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,4,8,1,5,9,2,6,10,3,7,
			  3,7,0,4,8,1,5,9,2,6,10,
			  6,10,3,7,0,4,8,1,5,9,2,
			  9,2,6,10,3,7,0,4,8,1,5,
			  1,5,9,2,6,10,3,7,0,4,8,
			  4,8,1,5,9,2,6,10,3,7,0,
			  7,0,4,8,1,5,9,2,6,10,3,
			  10,3,7,0,4,8,1,5,9,2,6,
			  2,6,10,3,7,0,4,8,1,5,9,
			  5,9,2,6,10,3,7,0,4,8,1,
			  8,1,5,9,2,6,10,3,7,0,4])
]).

% f(f(g(f(y,z)),y),f(f(z,x),g(f(g(z),x)))) = z.  % candidate 10

interpretation( 29, [

        function(M, [4]),

        function(H, [20]),

        function(K, [24]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,4,8,12,16,20,24,28,3,7,11,15,19,23,27,2,6,10,14,18,22,26,1,5,9,13,17,21,25]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,
			  1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,
			  2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,
			  3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,
			  4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,
			  5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,
			  6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,
			  7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,
			  8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,
			  9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,
			  10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,
			  11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,
			  12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,
			  13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,
			  14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,
			  15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
			  16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,
			  17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,
			  19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,
			  20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,
			  21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,
			  22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,
			  23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,
			  24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,
			  25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,
			  26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,
			  27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,
			  28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,
			  0,2,4,6,8,10,12,14,16,18,20,22,24,26,28,1,3,5,7,9,11,13,15,17,19,21,23,25,27,
			  0,3,6,9,12,15,18,21,24,27,1,4,7,10,13,16,19,22,25,28,2,5,8,11,14,17,20,23,26,
			  0,4,8,12,16,20,24,28,3,7,11,15,19,23,27,2,6,10,14,18,22,26,1,5,9,13,17,21,25,
			  0,5,10,15,20,25,1,6,11,16,21,26,2,7,12,17,22,27,3,8,13,18,23,28,4,9,14,19,24,
			  0,6,12,18,24,1,7,13,19,25,2,8,14,20,26,3,9,15,21,27,4,10,16,22,28,5,11,17,23,
			  0,7,14,21,28,6,13,20,27,5,12,19,26,4,11,18,25,3,10,17,24,2,9,16,23,1,8,15,22,
			  0,8,16,24,3,11,19,27,6,14,22,1,9,17,25,4,12,20,28,7,15,23,2,10,18,26,5,13,21,
			  0,9,18,27,7,16,25,5,14,23,3,12,21,1,10,19,28,8,17,26,6,15,24,4,13,22,2,11,20,
			  0,10,20,1,11,21,2,12,22,3,13,23,4,14,24,5,15,25,6,16,26,7,17,27,8,18,28,9,19,
			  0,11,22,4,15,26,8,19,1,12,23,5,16,27,9,20,2,13,24,6,17,28,10,21,3,14,25,7,18,
			  0,12,24,7,19,2,14,26,9,21,4,16,28,11,23,6,18,1,13,25,8,20,3,15,27,10,22,5,17,
			  0,13,26,10,23,7,20,4,17,1,14,27,11,24,8,21,5,18,2,15,28,12,25,9,22,6,19,3,16,
			  0,14,28,13,27,12,26,11,25,10,24,9,23,8,22,7,21,6,20,5,19,4,18,3,17,2,16,1,15,
			  0,15,1,16,2,17,3,18,4,19,5,20,6,21,7,22,8,23,9,24,10,25,11,26,12,27,13,28,14,
			  0,16,3,19,6,22,9,25,12,28,15,2,18,5,21,8,24,11,27,14,1,17,4,20,7,23,10,26,13,
			  0,17,5,22,10,27,15,3,20,8,25,13,1,18,6,23,11,28,16,4,21,9,26,14,2,19,7,24,12,
			  0,18,7,25,14,3,21,10,28,17,6,24,13,2,20,9,27,16,5,23,12,1,19,8,26,15,4,22,11,
			  0,19,9,28,18,8,27,17,7,26,16,6,25,15,5,24,14,4,23,13,3,22,12,2,21,11,1,20,10,
			  0,20,11,2,22,13,4,24,15,6,26,17,8,28,19,10,1,21,12,3,23,14,5,25,16,7,27,18,9,
			  0,21,13,5,26,18,10,2,23,15,7,28,20,12,4,25,17,9,1,22,14,6,27,19,11,3,24,16,8,
			  0,22,15,8,1,23,16,9,2,24,17,10,3,25,18,11,4,26,19,12,5,27,20,13,6,28,21,14,7,
			  0,23,17,11,5,28,22,16,10,4,27,21,15,9,3,26,20,14,8,2,25,19,13,7,1,24,18,12,6,
			  0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,
			  0,25,21,17,13,9,5,1,26,22,18,14,10,6,2,27,23,19,15,11,7,3,28,24,20,16,12,8,4,
			  0,26,23,20,17,14,11,8,5,2,28,25,22,19,16,13,10,7,4,1,27,24,21,18,15,12,9,6,3,
			  0,27,25,23,21,19,17,15,13,11,9,7,5,3,1,28,26,24,22,20,18,16,14,12,10,8,6,4,2,
			  0,28,27,26,25,24,23,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,
			  20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,
			  11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,
			  2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,
			  22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,
			  13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,
			  4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,
			  24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,
			  15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,
			  6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,
			  26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,
			  17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,
			  8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,
			  28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,
			  19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,
			  10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,
			  1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,
			  21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,
			  12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,
			  3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,
			  23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,
			  14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,
			  5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,
			  25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,
			  16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,
			  7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,
			  27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,
			  18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,
			  9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14])
]).

% f(f(f(y,z),x),g(f(g(f(g(y),z)),f(z,x)))) = z.  % candidate 11

interpretation( 11, [

        function(M, [2]),

        function(H, [1]),

        function(K, [4]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,2,4,6,8,10,1,3,5,7,9]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,4,8,1,5,9,2,6,10,3,7,
			  1,5,9,2,6,10,3,7,0,4,8,
			  2,6,10,3,7,0,4,8,1,5,9,
			  3,7,0,4,8,1,5,9,2,6,10,
			  4,8,1,5,9,2,6,10,3,7,0,
			  5,9,2,6,10,3,7,0,4,8,1,
			  6,10,3,7,0,4,8,1,5,9,2,
			  7,0,4,8,1,5,9,2,6,10,3,
			  8,1,5,9,2,6,10,3,7,0,4,
			  9,2,6,10,3,7,0,4,8,1,5,
			  10,3,7,0,4,8,1,5,9,2,6])
]).

% f(f(f(g(y),y),x),g(f(g(f(z,z)),f(z,x)))) = z.  % candidate 12

interpretation( 11, [

        function(M, [2]),

        function(H, [4]),

        function(K, [3]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,2,4,6,8,10,1,3,5,7,9]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,3,6,9,1,4,7,10,2,5,8,
			  4,7,10,2,5,8,0,3,6,9,1,
			  8,0,3,6,9,1,4,7,10,2,5,
			  1,4,7,10,2,5,8,0,3,6,9,
			  5,8,0,3,6,9,1,4,7,10,2,
			  9,1,4,7,10,2,5,8,0,3,6,
			  2,5,8,0,3,6,9,1,4,7,10,
			  6,9,1,4,7,10,2,5,8,0,3,
			  10,2,5,8,0,3,6,9,1,4,7,
			  3,6,9,1,4,7,10,2,5,8,0,
			  7,10,2,5,8,0,3,6,9,1,4])
]).

% g(f(f(g(f(y,x)),y),f(f(x,x),g(f(z,x))))) = z.  % candidate 13

interpretation( 11, [

        function(M, [1]),

        function(H, [5]),

        function(K, [8]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,1,2,3,4,5,6,7,8,9,10]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,8,5,2,10,7,4,1,9,6,3,
			  5,2,10,7,4,1,9,6,3,0,8,
			  10,7,4,1,9,6,3,0,8,5,2,
			  4,1,9,6,3,0,8,5,2,10,7,
			  9,6,3,0,8,5,2,10,7,4,1,
			  3,0,8,5,2,10,7,4,1,9,6,
			  8,5,2,10,7,4,1,9,6,3,0,
			  2,10,7,4,1,9,6,3,0,8,5,
			  7,4,1,9,6,3,0,8,5,2,10,
			  1,9,6,3,0,8,5,2,10,7,4,
			  6,3,0,8,5,2,10,7,4,1,9])
]).

% f(g(f(f(y,x),g(x))),f(f(y,z),f(g(x),x))) = z.  % candidate 16

interpretation( 11, [

        function(M, [2]),

        function(H, [9]),

        function(K, [4]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,2,4,6,8,10,1,3,5,7,9]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,4,8,1,5,9,2,6,10,3,7,
			  9,2,6,10,3,7,0,4,8,1,5,
			  7,0,4,8,1,5,9,2,6,10,3,
			  5,9,2,6,10,3,7,0,4,8,1,
			  3,7,0,4,8,1,5,9,2,6,10,
			  1,5,9,2,6,10,3,7,0,4,8,
			  10,3,7,0,4,8,1,5,9,2,6,
			  8,1,5,9,2,6,10,3,7,0,4,
			  6,10,3,7,0,4,8,1,5,9,2,
			  4,8,1,5,9,2,6,10,3,7,0,
			  2,6,10,3,7,0,4,8,1,5,9])
]).

% f(f(f(y,g(x)),x),g(f(g(f(x,z)),f(x,y)))) = z.  % candidate 18

interpretation( 11, [

        function(M, [3]),

        function(H, [4]),

        function(K, [2]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,3,6,9,1,4,7,10,2,5,8]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,2,4,6,8,10,1,3,5,7,9,
			  4,6,8,10,1,3,5,7,9,0,2,
			  8,10,1,3,5,7,9,0,2,4,6,
			  1,3,5,7,9,0,2,4,6,8,10,
			  5,7,9,0,2,4,6,8,10,1,3,
			  9,0,2,4,6,8,10,1,3,5,7,
			  2,4,6,8,10,1,3,5,7,9,0,
			  6,8,10,1,3,5,7,9,0,2,4,
			  10,1,3,5,7,9,0,2,4,6,8,
			  3,5,7,9,0,2,4,6,8,10,1,
			  7,9,0,2,4,6,8,10,1,3,5])
]).

% f(f(f(y,x),g(x)),g(f(g(f(x,z)),f(x,y)))) = z.  % candidate 19

interpretation( 17, [

        function(M, [3]),

        function(H, [4]),

        function(K, [14]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,3,6,9,12,15,1,4,7,10,13,16,2,5,8,11,14]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,
			  2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,
			  3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,
			  4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,
			  5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,
			  6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,
			  7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,
			  8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,
			  9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,
			  10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,
			  11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,
			  12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,
			  13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,
			  14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,
			  15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
			  16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  0,2,4,6,8,10,12,14,16,1,3,5,7,9,11,13,15,
			  0,3,6,9,12,15,1,4,7,10,13,16,2,5,8,11,14,
			  0,4,8,12,16,3,7,11,15,2,6,10,14,1,5,9,13,
			  0,5,10,15,3,8,13,1,6,11,16,4,9,14,2,7,12,
			  0,6,12,1,7,13,2,8,14,3,9,15,4,10,16,5,11,
			  0,7,14,4,11,1,8,15,5,12,2,9,16,6,13,3,10,
			  0,8,16,7,15,6,14,5,13,4,12,3,11,2,10,1,9,
			  0,9,1,10,2,11,3,12,4,13,5,14,6,15,7,16,8,
			  0,10,3,13,6,16,9,2,12,5,15,8,1,11,4,14,7,
			  0,11,5,16,10,4,15,9,3,14,8,2,13,7,1,12,6,
			  0,12,7,2,14,9,4,16,11,6,1,13,8,3,15,10,5,
			  0,13,9,5,1,14,10,6,2,15,11,7,3,16,12,8,4,
			  0,14,11,8,5,2,16,13,10,7,4,1,15,12,9,6,3,
			  0,15,13,11,9,7,5,3,1,16,14,12,10,8,6,4,2,
			  0,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,14,11,8,5,2,16,13,10,7,4,1,15,12,9,6,3,
			  4,1,15,12,9,6,3,0,14,11,8,5,2,16,13,10,7,
			  8,5,2,16,13,10,7,4,1,15,12,9,6,3,0,14,11,
			  12,9,6,3,0,14,11,8,5,2,16,13,10,7,4,1,15,
			  16,13,10,7,4,1,15,12,9,6,3,0,14,11,8,5,2,
			  3,0,14,11,8,5,2,16,13,10,7,4,1,15,12,9,6,
			  7,4,1,15,12,9,6,3,0,14,11,8,5,2,16,13,10,
			  11,8,5,2,16,13,10,7,4,1,15,12,9,6,3,0,14,
			  15,12,9,6,3,0,14,11,8,5,2,16,13,10,7,4,1,
			  2,16,13,10,7,4,1,15,12,9,6,3,0,14,11,8,5,
			  6,3,0,14,11,8,5,2,16,13,10,7,4,1,15,12,9,
			  10,7,4,1,15,12,9,6,3,0,14,11,8,5,2,16,13,
			  14,11,8,5,2,16,13,10,7,4,1,15,12,9,6,3,0,
			  1,15,12,9,6,3,0,14,11,8,5,2,16,13,10,7,4,
			  5,2,16,13,10,7,4,1,15,12,9,6,3,0,14,11,8,
			  9,6,3,0,14,11,8,5,2,16,13,10,7,4,1,15,12,
			  13,10,7,4,1,15,12,9,6,3,0,14,11,8,5,2,16])
]).

% f(f(f(x,g(x)),x),g(f(g(f(y,z)),f(y,x)))) = z.  % candidate 29

interpretation( 17, [

        function(M, [2]),

        function(H, [16]),

        function(K, [2]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,2,4,6,8,10,12,14,16,1,3,5,7,9,11,13,15]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,
			  2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,
			  3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,
			  4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,
			  5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,
			  6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,
			  7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,
			  8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,
			  9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,
			  10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,
			  11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,
			  12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,
			  13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,
			  14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,
			  15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
			  16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  0,2,4,6,8,10,12,14,16,1,3,5,7,9,11,13,15,
			  0,3,6,9,12,15,1,4,7,10,13,16,2,5,8,11,14,
			  0,4,8,12,16,3,7,11,15,2,6,10,14,1,5,9,13,
			  0,5,10,15,3,8,13,1,6,11,16,4,9,14,2,7,12,
			  0,6,12,1,7,13,2,8,14,3,9,15,4,10,16,5,11,
			  0,7,14,4,11,1,8,15,5,12,2,9,16,6,13,3,10,
			  0,8,16,7,15,6,14,5,13,4,12,3,11,2,10,1,9,
			  0,9,1,10,2,11,3,12,4,13,5,14,6,15,7,16,8,
			  0,10,3,13,6,16,9,2,12,5,15,8,1,11,4,14,7,
			  0,11,5,16,10,4,15,9,3,14,8,2,13,7,1,12,6,
			  0,12,7,2,14,9,4,16,11,6,1,13,8,3,15,10,5,
			  0,13,9,5,1,14,10,6,2,15,11,7,3,16,12,8,4,
			  0,14,11,8,5,2,16,13,10,7,4,1,15,12,9,6,3,
			  0,15,13,11,9,7,5,3,1,16,14,12,10,8,6,4,2,
			  0,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,2,4,6,8,10,12,14,16,1,3,5,7,9,11,13,15,
			  16,1,3,5,7,9,11,13,15,0,2,4,6,8,10,12,14,
			  15,0,2,4,6,8,10,12,14,16,1,3,5,7,9,11,13,
			  14,16,1,3,5,7,9,11,13,15,0,2,4,6,8,10,12,
			  13,15,0,2,4,6,8,10,12,14,16,1,3,5,7,9,11,
			  12,14,16,1,3,5,7,9,11,13,15,0,2,4,6,8,10,
			  11,13,15,0,2,4,6,8,10,12,14,16,1,3,5,7,9,
			  10,12,14,16,1,3,5,7,9,11,13,15,0,2,4,6,8,
			  9,11,13,15,0,2,4,6,8,10,12,14,16,1,3,5,7,
			  8,10,12,14,16,1,3,5,7,9,11,13,15,0,2,4,6,
			  7,9,11,13,15,0,2,4,6,8,10,12,14,16,1,3,5,
			  6,8,10,12,14,16,1,3,5,7,9,11,13,15,0,2,4,
			  5,7,9,11,13,15,0,2,4,6,8,10,12,14,16,1,3,
			  4,6,8,10,12,14,16,1,3,5,7,9,11,13,15,0,2,
			  3,5,7,9,11,13,15,0,2,4,6,8,10,12,14,16,1,
			  2,4,6,8,10,12,14,16,1,3,5,7,9,11,13,15,0,
			  1,3,5,7,9,11,13,15,0,2,4,6,8,10,12,14,16])
]).

% f(f(f(x,x),g(x)),g(f(g(f(y,z)),f(y,x)))) = z.  % candidate 30

interpretation( 17, [

        function(M, [3]),

        function(H, [13]),

        function(K, [12]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,3,6,9,12,15,1,4,7,10,13,16,2,5,8,11,14]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,
			  2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,
			  3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,
			  4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,
			  5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,
			  6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,
			  7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,
			  8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,
			  9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,
			  10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,
			  11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,
			  12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,
			  13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,
			  14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,
			  15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
			  16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  0,2,4,6,8,10,12,14,16,1,3,5,7,9,11,13,15,
			  0,3,6,9,12,15,1,4,7,10,13,16,2,5,8,11,14,
			  0,4,8,12,16,3,7,11,15,2,6,10,14,1,5,9,13,
			  0,5,10,15,3,8,13,1,6,11,16,4,9,14,2,7,12,
			  0,6,12,1,7,13,2,8,14,3,9,15,4,10,16,5,11,
			  0,7,14,4,11,1,8,15,5,12,2,9,16,6,13,3,10,
			  0,8,16,7,15,6,14,5,13,4,12,3,11,2,10,1,9,
			  0,9,1,10,2,11,3,12,4,13,5,14,6,15,7,16,8,
			  0,10,3,13,6,16,9,2,12,5,15,8,1,11,4,14,7,
			  0,11,5,16,10,4,15,9,3,14,8,2,13,7,1,12,6,
			  0,12,7,2,14,9,4,16,11,6,1,13,8,3,15,10,5,
			  0,13,9,5,1,14,10,6,2,15,11,7,3,16,12,8,4,
			  0,14,11,8,5,2,16,13,10,7,4,1,15,12,9,6,3,
			  0,15,13,11,9,7,5,3,1,16,14,12,10,8,6,4,2,
			  0,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,12,7,2,14,9,4,16,11,6,1,13,8,3,15,10,5,
			  13,8,3,15,10,5,0,12,7,2,14,9,4,16,11,6,1,
			  9,4,16,11,6,1,13,8,3,15,10,5,0,12,7,2,14,
			  5,0,12,7,2,14,9,4,16,11,6,1,13,8,3,15,10,
			  1,13,8,3,15,10,5,0,12,7,2,14,9,4,16,11,6,
			  14,9,4,16,11,6,1,13,8,3,15,10,5,0,12,7,2,
			  10,5,0,12,7,2,14,9,4,16,11,6,1,13,8,3,15,
			  6,1,13,8,3,15,10,5,0,12,7,2,14,9,4,16,11,
			  2,14,9,4,16,11,6,1,13,8,3,15,10,5,0,12,7,
			  15,10,5,0,12,7,2,14,9,4,16,11,6,1,13,8,3,
			  11,6,1,13,8,3,15,10,5,0,12,7,2,14,9,4,16,
			  7,2,14,9,4,16,11,6,1,13,8,3,15,10,5,0,12,
			  3,15,10,5,0,12,7,2,14,9,4,16,11,6,1,13,8,
			  16,11,6,1,13,8,3,15,10,5,0,12,7,2,14,9,4,
			  12,7,2,14,9,4,16,11,6,1,13,8,3,15,10,5,0,
			  8,3,15,10,5,0,12,7,2,14,9,4,16,11,6,1,13,
			  4,16,11,6,1,13,8,3,15,10,5,0,12,7,2,14,9])
]).

% g(f(g(f(f(x,y),z)),f(x,f(f(g(x),x),y)))) = z.  % candidate 33

interpretation( 11, [

        function(M, [7]),

        function(H, [10]),

        function(K, [2]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,7,3,10,6,2,9,5,1,8,4]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,2,4,6,8,10,1,3,5,7,9,
			  10,1,3,5,7,9,0,2,4,6,8,
			  9,0,2,4,6,8,10,1,3,5,7,
			  8,10,1,3,5,7,9,0,2,4,6,
			  7,9,0,2,4,6,8,10,1,3,5,
			  6,8,10,1,3,5,7,9,0,2,4,
			  5,7,9,0,2,4,6,8,10,1,3,
			  4,6,8,10,1,3,5,7,9,0,2,
			  3,5,7,9,0,2,4,6,8,10,1,
			  2,4,6,8,10,1,3,5,7,9,0,
			  1,3,5,7,9,0,2,4,6,8,10])
]).

% f(f(g(f(y,x)),y),f(x,f(z,g(f(x,g(x)))))) = z.  % candidate 35

interpretation( 19, [

        function(M, [10]),

        function(H, [16]),

        function(K, [5]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,10,1,11,2,12,3,13,4,14,5,15,6,16,7,17,8,18,9]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,
			  1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,0,
			  2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,0,1,
			  3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,0,1,2,
			  4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,0,1,2,3,
			  5,6,7,8,9,10,11,12,13,14,15,16,17,18,0,1,2,3,4,
			  6,7,8,9,10,11,12,13,14,15,16,17,18,0,1,2,3,4,5,
			  7,8,9,10,11,12,13,14,15,16,17,18,0,1,2,3,4,5,6,
			  8,9,10,11,12,13,14,15,16,17,18,0,1,2,3,4,5,6,7,
			  9,10,11,12,13,14,15,16,17,18,0,1,2,3,4,5,6,7,8,
			  10,11,12,13,14,15,16,17,18,0,1,2,3,4,5,6,7,8,9,
			  11,12,13,14,15,16,17,18,0,1,2,3,4,5,6,7,8,9,10,
			  12,13,14,15,16,17,18,0,1,2,3,4,5,6,7,8,9,10,11,
			  13,14,15,16,17,18,0,1,2,3,4,5,6,7,8,9,10,11,12,
			  14,15,16,17,18,0,1,2,3,4,5,6,7,8,9,10,11,12,13,
			  15,16,17,18,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
			  16,17,18,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,
			  17,18,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  18,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,
			  0,2,4,6,8,10,12,14,16,18,1,3,5,7,9,11,13,15,17,
			  0,3,6,9,12,15,18,2,5,8,11,14,17,1,4,7,10,13,16,
			  0,4,8,12,16,1,5,9,13,17,2,6,10,14,18,3,7,11,15,
			  0,5,10,15,1,6,11,16,2,7,12,17,3,8,13,18,4,9,14,
			  0,6,12,18,5,11,17,4,10,16,3,9,15,2,8,14,1,7,13,
			  0,7,14,2,9,16,4,11,18,6,13,1,8,15,3,10,17,5,12,
			  0,8,16,5,13,2,10,18,7,15,4,12,1,9,17,6,14,3,11,
			  0,9,18,8,17,7,16,6,15,5,14,4,13,3,12,2,11,1,10,
			  0,10,1,11,2,12,3,13,4,14,5,15,6,16,7,17,8,18,9,
			  0,11,3,14,6,17,9,1,12,4,15,7,18,10,2,13,5,16,8,
			  0,12,5,17,10,3,15,8,1,13,6,18,11,4,16,9,2,14,7,
			  0,13,7,1,14,8,2,15,9,3,16,10,4,17,11,5,18,12,6,
			  0,14,9,4,18,13,8,3,17,12,7,2,16,11,6,1,15,10,5,
			  0,15,11,7,3,18,14,10,6,2,17,13,9,5,1,16,12,8,4,
			  0,16,13,10,7,4,1,17,14,11,8,5,2,18,15,12,9,6,3,
			  0,17,15,13,11,9,7,5,3,1,18,16,14,12,10,8,6,4,2,
			  0,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,5,10,15,1,6,11,16,2,7,12,17,3,8,13,18,4,9,14,
			  16,2,7,12,17,3,8,13,18,4,9,14,0,5,10,15,1,6,11,
			  13,18,4,9,14,0,5,10,15,1,6,11,16,2,7,12,17,3,8,
			  10,15,1,6,11,16,2,7,12,17,3,8,13,18,4,9,14,0,5,
			  7,12,17,3,8,13,18,4,9,14,0,5,10,15,1,6,11,16,2,
			  4,9,14,0,5,10,15,1,6,11,16,2,7,12,17,3,8,13,18,
			  1,6,11,16,2,7,12,17,3,8,13,18,4,9,14,0,5,10,15,
			  17,3,8,13,18,4,9,14,0,5,10,15,1,6,11,16,2,7,12,
			  14,0,5,10,15,1,6,11,16,2,7,12,17,3,8,13,18,4,9,
			  11,16,2,7,12,17,3,8,13,18,4,9,14,0,5,10,15,1,6,
			  8,13,18,4,9,14,0,5,10,15,1,6,11,16,2,7,12,17,3,
			  5,10,15,1,6,11,16,2,7,12,17,3,8,13,18,4,9,14,0,
			  2,7,12,17,3,8,13,18,4,9,14,0,5,10,15,1,6,11,16,
			  18,4,9,14,0,5,10,15,1,6,11,16,2,7,12,17,3,8,13,
			  15,1,6,11,16,2,7,12,17,3,8,13,18,4,9,14,0,5,10,
			  12,17,3,8,13,18,4,9,14,0,5,10,15,1,6,11,16,2,7,
			  9,14,0,5,10,15,1,6,11,16,2,7,12,17,3,8,13,18,4,
			  6,11,16,2,7,12,17,3,8,13,18,4,9,14,0,5,10,15,1,
			  3,8,13,18,4,9,14,0,5,10,15,1,6,11,16,2,7,12,17])
]).

% f(g(f(f(y,g(x)),x)),f(y,f(z,f(x,g(x))))) = z.  % candidate 37

interpretation( 13, [

        function(M, [3]),

        function(H, [9]),

        function(K, [4]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,3,6,9,12,2,5,8,11,1,4,7,10]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,
			  1,2,3,4,5,6,7,8,9,10,11,12,0,
			  2,3,4,5,6,7,8,9,10,11,12,0,1,
			  3,4,5,6,7,8,9,10,11,12,0,1,2,
			  4,5,6,7,8,9,10,11,12,0,1,2,3,
			  5,6,7,8,9,10,11,12,0,1,2,3,4,
			  6,7,8,9,10,11,12,0,1,2,3,4,5,
			  7,8,9,10,11,12,0,1,2,3,4,5,6,
			  8,9,10,11,12,0,1,2,3,4,5,6,7,
			  9,10,11,12,0,1,2,3,4,5,6,7,8,
			  10,11,12,0,1,2,3,4,5,6,7,8,9,
			  11,12,0,1,2,3,4,5,6,7,8,9,10,
			  12,0,1,2,3,4,5,6,7,8,9,10,11]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,
			  0,2,4,6,8,10,12,1,3,5,7,9,11,
			  0,3,6,9,12,2,5,8,11,1,4,7,10,
			  0,4,8,12,3,7,11,2,6,10,1,5,9,
			  0,5,10,2,7,12,4,9,1,6,11,3,8,
			  0,6,12,5,11,4,10,3,9,2,8,1,7,
			  0,7,1,8,2,9,3,10,4,11,5,12,6,
			  0,8,3,11,6,1,9,4,12,7,2,10,5,
			  0,9,5,1,10,6,2,11,7,3,12,8,4,
			  0,10,7,4,1,11,8,5,2,12,9,6,3,
			  0,11,9,7,5,3,1,12,10,8,6,4,2,
			  0,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,4,8,12,3,7,11,2,6,10,1,5,9,
			  9,0,4,8,12,3,7,11,2,6,10,1,5,
			  5,9,0,4,8,12,3,7,11,2,6,10,1,
			  1,5,9,0,4,8,12,3,7,11,2,6,10,
			  10,1,5,9,0,4,8,12,3,7,11,2,6,
			  6,10,1,5,9,0,4,8,12,3,7,11,2,
			  2,6,10,1,5,9,0,4,8,12,3,7,11,
			  11,2,6,10,1,5,9,0,4,8,12,3,7,
			  7,11,2,6,10,1,5,9,0,4,8,12,3,
			  3,7,11,2,6,10,1,5,9,0,4,8,12,
			  12,3,7,11,2,6,10,1,5,9,0,4,8,
			  8,12,3,7,11,2,6,10,1,5,9,0,4,
			  4,8,12,3,7,11,2,6,10,1,5,9,0])
]).

% g(f(f(f(y,g(x)),x),f(x,g(f(z,f(y,x)))))) = z.  % candidate 39

interpretation( 11, [

        function(M, [6]),

        function(H, [4]),

        function(K, [1]),

        function(X, [0]),

        function(Y, [1]),

        function(Z, [0]),

        function(g(_), [0,6,1,7,2,8,3,9,4,10,5]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  4,5,6,7,8,9,10,0,1,2,3,
			  8,9,10,0,1,2,3,4,5,6,7,
			  1,2,3,4,5,6,7,8,9,10,0,
			  5,6,7,8,9,10,0,1,2,3,4,
			  9,10,0,1,2,3,4,5,6,7,8,
			  2,3,4,5,6,7,8,9,10,0,1,
			  6,7,8,9,10,0,1,2,3,4,5,
			  10,0,1,2,3,4,5,6,7,8,9,
			  3,4,5,6,7,8,9,10,0,1,2,
			  7,8,9,10,0,1,2,3,4,5,6])
]).

% g(f(f(f(y,x),g(x)),f(x,g(f(z,f(y,x)))))) = z.  % candidate 40

interpretation( 29, [

        function(M, [28]),

        function(H, [7]),

        function(K, [24]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,28,27,26,25,24,23,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,
			  1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,
			  2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,
			  3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,
			  4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,
			  5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,
			  6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,
			  7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,
			  8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,
			  9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,
			  10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,
			  11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,
			  12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,
			  13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,
			  14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,
			  15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
			  16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,
			  17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,
			  19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,
			  20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,
			  21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,
			  22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,
			  23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,
			  24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,
			  25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,
			  26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,
			  27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,
			  28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,
			  0,2,4,6,8,10,12,14,16,18,20,22,24,26,28,1,3,5,7,9,11,13,15,17,19,21,23,25,27,
			  0,3,6,9,12,15,18,21,24,27,1,4,7,10,13,16,19,22,25,28,2,5,8,11,14,17,20,23,26,
			  0,4,8,12,16,20,24,28,3,7,11,15,19,23,27,2,6,10,14,18,22,26,1,5,9,13,17,21,25,
			  0,5,10,15,20,25,1,6,11,16,21,26,2,7,12,17,22,27,3,8,13,18,23,28,4,9,14,19,24,
			  0,6,12,18,24,1,7,13,19,25,2,8,14,20,26,3,9,15,21,27,4,10,16,22,28,5,11,17,23,
			  0,7,14,21,28,6,13,20,27,5,12,19,26,4,11,18,25,3,10,17,24,2,9,16,23,1,8,15,22,
			  0,8,16,24,3,11,19,27,6,14,22,1,9,17,25,4,12,20,28,7,15,23,2,10,18,26,5,13,21,
			  0,9,18,27,7,16,25,5,14,23,3,12,21,1,10,19,28,8,17,26,6,15,24,4,13,22,2,11,20,
			  0,10,20,1,11,21,2,12,22,3,13,23,4,14,24,5,15,25,6,16,26,7,17,27,8,18,28,9,19,
			  0,11,22,4,15,26,8,19,1,12,23,5,16,27,9,20,2,13,24,6,17,28,10,21,3,14,25,7,18,
			  0,12,24,7,19,2,14,26,9,21,4,16,28,11,23,6,18,1,13,25,8,20,3,15,27,10,22,5,17,
			  0,13,26,10,23,7,20,4,17,1,14,27,11,24,8,21,5,18,2,15,28,12,25,9,22,6,19,3,16,
			  0,14,28,13,27,12,26,11,25,10,24,9,23,8,22,7,21,6,20,5,19,4,18,3,17,2,16,1,15,
			  0,15,1,16,2,17,3,18,4,19,5,20,6,21,7,22,8,23,9,24,10,25,11,26,12,27,13,28,14,
			  0,16,3,19,6,22,9,25,12,28,15,2,18,5,21,8,24,11,27,14,1,17,4,20,7,23,10,26,13,
			  0,17,5,22,10,27,15,3,20,8,25,13,1,18,6,23,11,28,16,4,21,9,26,14,2,19,7,24,12,
			  0,18,7,25,14,3,21,10,28,17,6,24,13,2,20,9,27,16,5,23,12,1,19,8,26,15,4,22,11,
			  0,19,9,28,18,8,27,17,7,26,16,6,25,15,5,24,14,4,23,13,3,22,12,2,21,11,1,20,10,
			  0,20,11,2,22,13,4,24,15,6,26,17,8,28,19,10,1,21,12,3,23,14,5,25,16,7,27,18,9,
			  0,21,13,5,26,18,10,2,23,15,7,28,20,12,4,25,17,9,1,22,14,6,27,19,11,3,24,16,8,
			  0,22,15,8,1,23,16,9,2,24,17,10,3,25,18,11,4,26,19,12,5,27,20,13,6,28,21,14,7,
			  0,23,17,11,5,28,22,16,10,4,27,21,15,9,3,26,20,14,8,2,25,19,13,7,1,24,18,12,6,
			  0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,
			  0,25,21,17,13,9,5,1,26,22,18,14,10,6,2,27,23,19,15,11,7,3,28,24,20,16,12,8,4,
			  0,26,23,20,17,14,11,8,5,2,28,25,22,19,16,13,10,7,4,1,27,24,21,18,15,12,9,6,3,
			  0,27,25,23,21,19,17,15,13,11,9,7,5,3,1,28,26,24,22,20,18,16,14,12,10,8,6,4,2,
			  0,28,27,26,25,24,23,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,
			  7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,
			  14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,
			  21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,
			  28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,
			  6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,
			  13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,
			  20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,
			  27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,
			  5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,
			  12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,
			  19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,
			  26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,
			  4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,
			  11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,
			  18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,
			  25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,
			  3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,
			  10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,
			  17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,
			  24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,
			  2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,
			  9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,
			  16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,
			  23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,
			  1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,
			  8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,
			  15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,
			  22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,0,24,19,14,9,4,28,23,18,13,8,3,27])
]).

% g(f(f(f(x,g(x)),x),f(y,g(f(z,f(x,y)))))) = z.  % candidate 49

interpretation( 17, [

        function(M, [3]),

        function(H, [4]),

        function(K, [3]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,3,6,9,12,15,1,4,7,10,13,16,2,5,8,11,14]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,
			  2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,
			  3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,
			  4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,
			  5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,
			  6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,
			  7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,
			  8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,
			  9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,
			  10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,
			  11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,
			  12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,
			  13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,
			  14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,
			  15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
			  16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  0,2,4,6,8,10,12,14,16,1,3,5,7,9,11,13,15,
			  0,3,6,9,12,15,1,4,7,10,13,16,2,5,8,11,14,
			  0,4,8,12,16,3,7,11,15,2,6,10,14,1,5,9,13,
			  0,5,10,15,3,8,13,1,6,11,16,4,9,14,2,7,12,
			  0,6,12,1,7,13,2,8,14,3,9,15,4,10,16,5,11,
			  0,7,14,4,11,1,8,15,5,12,2,9,16,6,13,3,10,
			  0,8,16,7,15,6,14,5,13,4,12,3,11,2,10,1,9,
			  0,9,1,10,2,11,3,12,4,13,5,14,6,15,7,16,8,
			  0,10,3,13,6,16,9,2,12,5,15,8,1,11,4,14,7,
			  0,11,5,16,10,4,15,9,3,14,8,2,13,7,1,12,6,
			  0,12,7,2,14,9,4,16,11,6,1,13,8,3,15,10,5,
			  0,13,9,5,1,14,10,6,2,15,11,7,3,16,12,8,4,
			  0,14,11,8,5,2,16,13,10,7,4,1,15,12,9,6,3,
			  0,15,13,11,9,7,5,3,1,16,14,12,10,8,6,4,2,
			  0,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,3,6,9,12,15,1,4,7,10,13,16,2,5,8,11,14,
			  4,7,10,13,16,2,5,8,11,14,0,3,6,9,12,15,1,
			  8,11,14,0,3,6,9,12,15,1,4,7,10,13,16,2,5,
			  12,15,1,4,7,10,13,16,2,5,8,11,14,0,3,6,9,
			  16,2,5,8,11,14,0,3,6,9,12,15,1,4,7,10,13,
			  3,6,9,12,15,1,4,7,10,13,16,2,5,8,11,14,0,
			  7,10,13,16,2,5,8,11,14,0,3,6,9,12,15,1,4,
			  11,14,0,3,6,9,12,15,1,4,7,10,13,16,2,5,8,
			  15,1,4,7,10,13,16,2,5,8,11,14,0,3,6,9,12,
			  2,5,8,11,14,0,3,6,9,12,15,1,4,7,10,13,16,
			  6,9,12,15,1,4,7,10,13,16,2,5,8,11,14,0,3,
			  10,13,16,2,5,8,11,14,0,3,6,9,12,15,1,4,7,
			  14,0,3,6,9,12,15,1,4,7,10,13,16,2,5,8,11,
			  1,4,7,10,13,16,2,5,8,11,14,0,3,6,9,12,15,
			  5,8,11,14,0,3,6,9,12,15,1,4,7,10,13,16,2,
			  9,12,15,1,4,7,10,13,16,2,5,8,11,14,0,3,6,
			  13,16,2,5,8,11,14,0,3,6,9,12,15,1,4,7,10])
]).

% g(f(f(f(x,x),g(x)),f(y,g(f(z,f(x,y)))))) = z.  % candidate 50

interpretation( 13, [

        function(M, [3]),

        function(H, [3]),

        function(K, [12]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,3,6,9,12,2,5,8,11,1,4,7,10]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,
			  1,2,3,4,5,6,7,8,9,10,11,12,0,
			  2,3,4,5,6,7,8,9,10,11,12,0,1,
			  3,4,5,6,7,8,9,10,11,12,0,1,2,
			  4,5,6,7,8,9,10,11,12,0,1,2,3,
			  5,6,7,8,9,10,11,12,0,1,2,3,4,
			  6,7,8,9,10,11,12,0,1,2,3,4,5,
			  7,8,9,10,11,12,0,1,2,3,4,5,6,
			  8,9,10,11,12,0,1,2,3,4,5,6,7,
			  9,10,11,12,0,1,2,3,4,5,6,7,8,
			  10,11,12,0,1,2,3,4,5,6,7,8,9,
			  11,12,0,1,2,3,4,5,6,7,8,9,10,
			  12,0,1,2,3,4,5,6,7,8,9,10,11]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,
			  0,2,4,6,8,10,12,1,3,5,7,9,11,
			  0,3,6,9,12,2,5,8,11,1,4,7,10,
			  0,4,8,12,3,7,11,2,6,10,1,5,9,
			  0,5,10,2,7,12,4,9,1,6,11,3,8,
			  0,6,12,5,11,4,10,3,9,2,8,1,7,
			  0,7,1,8,2,9,3,10,4,11,5,12,6,
			  0,8,3,11,6,1,9,4,12,7,2,10,5,
			  0,9,5,1,10,6,2,11,7,3,12,8,4,
			  0,10,7,4,1,11,8,5,2,12,9,6,3,
			  0,11,9,7,5,3,1,12,10,8,6,4,2,
			  0,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,12,11,10,9,8,7,6,5,4,3,2,1,
			  3,2,1,0,12,11,10,9,8,7,6,5,4,
			  6,5,4,3,2,1,0,12,11,10,9,8,7,
			  9,8,7,6,5,4,3,2,1,0,12,11,10,
			  12,11,10,9,8,7,6,5,4,3,2,1,0,
			  2,1,0,12,11,10,9,8,7,6,5,4,3,
			  5,4,3,2,1,0,12,11,10,9,8,7,6,
			  8,7,6,5,4,3,2,1,0,12,11,10,9,
			  11,10,9,8,7,6,5,4,3,2,1,0,12,
			  1,0,12,11,10,9,8,7,6,5,4,3,2,
			  4,3,2,1,0,12,11,10,9,8,7,6,5,
			  7,6,5,4,3,2,1,0,12,11,10,9,8,
			  10,9,8,7,6,5,4,3,2,1,0,12,11])
]).

% f(f(y,f(x,g(x))),g(f(f(g(f(z,z)),z),y))) = z.  % candidate 53

interpretation( 13, [

        function(M, [12]),

        function(H, [11]),

        function(K, [11]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,
			  1,2,3,4,5,6,7,8,9,10,11,12,0,
			  2,3,4,5,6,7,8,9,10,11,12,0,1,
			  3,4,5,6,7,8,9,10,11,12,0,1,2,
			  4,5,6,7,8,9,10,11,12,0,1,2,3,
			  5,6,7,8,9,10,11,12,0,1,2,3,4,
			  6,7,8,9,10,11,12,0,1,2,3,4,5,
			  7,8,9,10,11,12,0,1,2,3,4,5,6,
			  8,9,10,11,12,0,1,2,3,4,5,6,7,
			  9,10,11,12,0,1,2,3,4,5,6,7,8,
			  10,11,12,0,1,2,3,4,5,6,7,8,9,
			  11,12,0,1,2,3,4,5,6,7,8,9,10,
			  12,0,1,2,3,4,5,6,7,8,9,10,11]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,
			  0,2,4,6,8,10,12,1,3,5,7,9,11,
			  0,3,6,9,12,2,5,8,11,1,4,7,10,
			  0,4,8,12,3,7,11,2,6,10,1,5,9,
			  0,5,10,2,7,12,4,9,1,6,11,3,8,
			  0,6,12,5,11,4,10,3,9,2,8,1,7,
			  0,7,1,8,2,9,3,10,4,11,5,12,6,
			  0,8,3,11,6,1,9,4,12,7,2,10,5,
			  0,9,5,1,10,6,2,11,7,3,12,8,4,
			  0,10,7,4,1,11,8,5,2,12,9,6,3,
			  0,11,9,7,5,3,1,12,10,8,6,4,2,
			  0,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,11,9,7,5,3,1,12,10,8,6,4,2,
			  11,9,7,5,3,1,12,10,8,6,4,2,0,
			  9,7,5,3,1,12,10,8,6,4,2,0,11,
			  7,5,3,1,12,10,8,6,4,2,0,11,9,
			  5,3,1,12,10,8,6,4,2,0,11,9,7,
			  3,1,12,10,8,6,4,2,0,11,9,7,5,
			  1,12,10,8,6,4,2,0,11,9,7,5,3,
			  12,10,8,6,4,2,0,11,9,7,5,3,1,
			  10,8,6,4,2,0,11,9,7,5,3,1,12,
			  8,6,4,2,0,11,9,7,5,3,1,12,10,
			  6,4,2,0,11,9,7,5,3,1,12,10,8,
			  4,2,0,11,9,7,5,3,1,12,10,8,6,
			  2,0,11,9,7,5,3,1,12,10,8,6,4])
]).

% g(f(g(f(x,f(y,z))),f(f(f(x,y),g(x)),x))) = z.  % candidate 58

interpretation( 13, [

        function(M, [9]),

        function(H, [3]),

        function(K, [4]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,9,5,1,10,6,2,11,7,3,12,8,4]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,
			  1,2,3,4,5,6,7,8,9,10,11,12,0,
			  2,3,4,5,6,7,8,9,10,11,12,0,1,
			  3,4,5,6,7,8,9,10,11,12,0,1,2,
			  4,5,6,7,8,9,10,11,12,0,1,2,3,
			  5,6,7,8,9,10,11,12,0,1,2,3,4,
			  6,7,8,9,10,11,12,0,1,2,3,4,5,
			  7,8,9,10,11,12,0,1,2,3,4,5,6,
			  8,9,10,11,12,0,1,2,3,4,5,6,7,
			  9,10,11,12,0,1,2,3,4,5,6,7,8,
			  10,11,12,0,1,2,3,4,5,6,7,8,9,
			  11,12,0,1,2,3,4,5,6,7,8,9,10,
			  12,0,1,2,3,4,5,6,7,8,9,10,11]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,
			  0,2,4,6,8,10,12,1,3,5,7,9,11,
			  0,3,6,9,12,2,5,8,11,1,4,7,10,
			  0,4,8,12,3,7,11,2,6,10,1,5,9,
			  0,5,10,2,7,12,4,9,1,6,11,3,8,
			  0,6,12,5,11,4,10,3,9,2,8,1,7,
			  0,7,1,8,2,9,3,10,4,11,5,12,6,
			  0,8,3,11,6,1,9,4,12,7,2,10,5,
			  0,9,5,1,10,6,2,11,7,3,12,8,4,
			  0,10,7,4,1,11,8,5,2,12,9,6,3,
			  0,11,9,7,5,3,1,12,10,8,6,4,2,
			  0,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,4,8,12,3,7,11,2,6,10,1,5,9,
			  3,7,11,2,6,10,1,5,9,0,4,8,12,
			  6,10,1,5,9,0,4,8,12,3,7,11,2,
			  9,0,4,8,12,3,7,11,2,6,10,1,5,
			  12,3,7,11,2,6,10,1,5,9,0,4,8,
			  2,6,10,1,5,9,0,4,8,12,3,7,11,
			  5,9,0,4,8,12,3,7,11,2,6,10,1,
			  8,12,3,7,11,2,6,10,1,5,9,0,4,
			  11,2,6,10,1,5,9,0,4,8,12,3,7,
			  1,5,9,0,4,8,12,3,7,11,2,6,10,
			  4,8,12,3,7,11,2,6,10,1,5,9,0,
			  7,11,2,6,10,1,5,9,0,4,8,12,3,
			  10,1,5,9,0,4,8,12,3,7,11,2,6])
]).

% g(f(g(f(x,f(y,z))),f(f(f(g(x),x),x),y))) = z.  % candidate 60

interpretation( 23, [

        function(M, [5]),

        function(H, [16]),

        function(K, [8]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,5,10,15,20,2,7,12,17,22,4,9,14,19,1,6,11,16,21,3,8,13,18]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,
			  1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,0,
			  2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,0,1,
			  3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,0,1,2,
			  4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,0,1,2,3,
			  5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,0,1,2,3,4,
			  6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,0,1,2,3,4,5,
			  7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,0,1,2,3,4,5,6,
			  8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,0,1,2,3,4,5,6,7,
			  9,10,11,12,13,14,15,16,17,18,19,20,21,22,0,1,2,3,4,5,6,7,8,
			  10,11,12,13,14,15,16,17,18,19,20,21,22,0,1,2,3,4,5,6,7,8,9,
			  11,12,13,14,15,16,17,18,19,20,21,22,0,1,2,3,4,5,6,7,8,9,10,
			  12,13,14,15,16,17,18,19,20,21,22,0,1,2,3,4,5,6,7,8,9,10,11,
			  13,14,15,16,17,18,19,20,21,22,0,1,2,3,4,5,6,7,8,9,10,11,12,
			  14,15,16,17,18,19,20,21,22,0,1,2,3,4,5,6,7,8,9,10,11,12,13,
			  15,16,17,18,19,20,21,22,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
			  16,17,18,19,20,21,22,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,
			  17,18,19,20,21,22,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  18,19,20,21,22,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,
			  19,20,21,22,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,
			  20,21,22,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,
			  21,22,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,
			  22,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,
			  0,2,4,6,8,10,12,14,16,18,20,22,1,3,5,7,9,11,13,15,17,19,21,
			  0,3,6,9,12,15,18,21,1,4,7,10,13,16,19,22,2,5,8,11,14,17,20,
			  0,4,8,12,16,20,1,5,9,13,17,21,2,6,10,14,18,22,3,7,11,15,19,
			  0,5,10,15,20,2,7,12,17,22,4,9,14,19,1,6,11,16,21,3,8,13,18,
			  0,6,12,18,1,7,13,19,2,8,14,20,3,9,15,21,4,10,16,22,5,11,17,
			  0,7,14,21,5,12,19,3,10,17,1,8,15,22,6,13,20,4,11,18,2,9,16,
			  0,8,16,1,9,17,2,10,18,3,11,19,4,12,20,5,13,21,6,14,22,7,15,
			  0,9,18,4,13,22,8,17,3,12,21,7,16,2,11,20,6,15,1,10,19,5,14,
			  0,10,20,7,17,4,14,1,11,21,8,18,5,15,2,12,22,9,19,6,16,3,13,
			  0,11,22,10,21,9,20,8,19,7,18,6,17,5,16,4,15,3,14,2,13,1,12,
			  0,12,1,13,2,14,3,15,4,16,5,17,6,18,7,19,8,20,9,21,10,22,11,
			  0,13,3,16,6,19,9,22,12,2,15,5,18,8,21,11,1,14,4,17,7,20,10,
			  0,14,5,19,10,1,15,6,20,11,2,16,7,21,12,3,17,8,22,13,4,18,9,
			  0,15,7,22,14,6,21,13,5,20,12,4,19,11,3,18,10,2,17,9,1,16,8,
			  0,16,9,2,18,11,4,20,13,6,22,15,8,1,17,10,3,19,12,5,21,14,7,
			  0,17,11,5,22,16,10,4,21,15,9,3,20,14,8,2,19,13,7,1,18,12,6,
			  0,18,13,8,3,21,16,11,6,1,19,14,9,4,22,17,12,7,2,20,15,10,5,
			  0,19,15,11,7,3,22,18,14,10,6,2,21,17,13,9,5,1,20,16,12,8,4,
			  0,20,17,14,11,8,5,2,22,19,16,13,10,7,4,1,21,18,15,12,9,6,3,
			  0,21,19,17,15,13,11,9,7,5,3,1,22,20,18,16,14,12,10,8,6,4,2,
			  0,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,8,16,1,9,17,2,10,18,3,11,19,4,12,20,5,13,21,6,14,22,7,15,
			  16,1,9,17,2,10,18,3,11,19,4,12,20,5,13,21,6,14,22,7,15,0,8,
			  9,17,2,10,18,3,11,19,4,12,20,5,13,21,6,14,22,7,15,0,8,16,1,
			  2,10,18,3,11,19,4,12,20,5,13,21,6,14,22,7,15,0,8,16,1,9,17,
			  18,3,11,19,4,12,20,5,13,21,6,14,22,7,15,0,8,16,1,9,17,2,10,
			  11,19,4,12,20,5,13,21,6,14,22,7,15,0,8,16,1,9,17,2,10,18,3,
			  4,12,20,5,13,21,6,14,22,7,15,0,8,16,1,9,17,2,10,18,3,11,19,
			  20,5,13,21,6,14,22,7,15,0,8,16,1,9,17,2,10,18,3,11,19,4,12,
			  13,21,6,14,22,7,15,0,8,16,1,9,17,2,10,18,3,11,19,4,12,20,5,
			  6,14,22,7,15,0,8,16,1,9,17,2,10,18,3,11,19,4,12,20,5,13,21,
			  22,7,15,0,8,16,1,9,17,2,10,18,3,11,19,4,12,20,5,13,21,6,14,
			  15,0,8,16,1,9,17,2,10,18,3,11,19,4,12,20,5,13,21,6,14,22,7,
			  8,16,1,9,17,2,10,18,3,11,19,4,12,20,5,13,21,6,14,22,7,15,0,
			  1,9,17,2,10,18,3,11,19,4,12,20,5,13,21,6,14,22,7,15,0,8,16,
			  17,2,10,18,3,11,19,4,12,20,5,13,21,6,14,22,7,15,0,8,16,1,9,
			  10,18,3,11,19,4,12,20,5,13,21,6,14,22,7,15,0,8,16,1,9,17,2,
			  3,11,19,4,12,20,5,13,21,6,14,22,7,15,0,8,16,1,9,17,2,10,18,
			  19,4,12,20,5,13,21,6,14,22,7,15,0,8,16,1,9,17,2,10,18,3,11,
			  12,20,5,13,21,6,14,22,7,15,0,8,16,1,9,17,2,10,18,3,11,19,4,
			  5,13,21,6,14,22,7,15,0,8,16,1,9,17,2,10,18,3,11,19,4,12,20,
			  21,6,14,22,7,15,0,8,16,1,9,17,2,10,18,3,11,19,4,12,20,5,13,
			  14,22,7,15,0,8,16,1,9,17,2,10,18,3,11,19,4,12,20,5,13,21,6,
			  7,15,0,8,16,1,9,17,2,10,18,3,11,19,4,12,20,5,13,21,6,14,22])
]).

% g(f(g(f(x,f(y,z))),f(f(f(x,g(x)),x),y))) = z.  % candidate 62

interpretation( 11, [

        function(M, [10]),

        function(H, [9]),

        function(K, [4]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,10,9,8,7,6,5,4,3,2,1]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,4,8,1,5,9,2,6,10,3,7,
			  9,2,6,10,3,7,0,4,8,1,5,
			  7,0,4,8,1,5,9,2,6,10,3,
			  5,9,2,6,10,3,7,0,4,8,1,
			  3,7,0,4,8,1,5,9,2,6,10,
			  1,5,9,2,6,10,3,7,0,4,8,
			  10,3,7,0,4,8,1,5,9,2,6,
			  8,1,5,9,2,6,10,3,7,0,4,
			  6,10,3,7,0,4,8,1,5,9,2,
			  4,8,1,5,9,2,6,10,3,7,0,
			  2,6,10,3,7,0,4,8,1,5,9])
]).

% f(f(x,f(g(x),z)),f(g(f(f(y,x),g(x))),y)) = z.  % candidate 64

interpretation( 13, [

        function(M, [9]),

        function(H, [9]),

        function(K, [4]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,9,5,1,10,6,2,11,7,3,12,8,4]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,
			  1,2,3,4,5,6,7,8,9,10,11,12,0,
			  2,3,4,5,6,7,8,9,10,11,12,0,1,
			  3,4,5,6,7,8,9,10,11,12,0,1,2,
			  4,5,6,7,8,9,10,11,12,0,1,2,3,
			  5,6,7,8,9,10,11,12,0,1,2,3,4,
			  6,7,8,9,10,11,12,0,1,2,3,4,5,
			  7,8,9,10,11,12,0,1,2,3,4,5,6,
			  8,9,10,11,12,0,1,2,3,4,5,6,7,
			  9,10,11,12,0,1,2,3,4,5,6,7,8,
			  10,11,12,0,1,2,3,4,5,6,7,8,9,
			  11,12,0,1,2,3,4,5,6,7,8,9,10,
			  12,0,1,2,3,4,5,6,7,8,9,10,11]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,
			  0,2,4,6,8,10,12,1,3,5,7,9,11,
			  0,3,6,9,12,2,5,8,11,1,4,7,10,
			  0,4,8,12,3,7,11,2,6,10,1,5,9,
			  0,5,10,2,7,12,4,9,1,6,11,3,8,
			  0,6,12,5,11,4,10,3,9,2,8,1,7,
			  0,7,1,8,2,9,3,10,4,11,5,12,6,
			  0,8,3,11,6,1,9,4,12,7,2,10,5,
			  0,9,5,1,10,6,2,11,7,3,12,8,4,
			  0,10,7,4,1,11,8,5,2,12,9,6,3,
			  0,11,9,7,5,3,1,12,10,8,6,4,2,
			  0,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,4,8,12,3,7,11,2,6,10,1,5,9,
			  9,0,4,8,12,3,7,11,2,6,10,1,5,
			  5,9,0,4,8,12,3,7,11,2,6,10,1,
			  1,5,9,0,4,8,12,3,7,11,2,6,10,
			  10,1,5,9,0,4,8,12,3,7,11,2,6,
			  6,10,1,5,9,0,4,8,12,3,7,11,2,
			  2,6,10,1,5,9,0,4,8,12,3,7,11,
			  11,2,6,10,1,5,9,0,4,8,12,3,7,
			  7,11,2,6,10,1,5,9,0,4,8,12,3,
			  3,7,11,2,6,10,1,5,9,0,4,8,12,
			  12,3,7,11,2,6,10,1,5,9,0,4,8,
			  8,12,3,7,11,2,6,10,1,5,9,0,4,
			  4,8,12,3,7,11,2,6,10,1,5,9,0])
]).

% f(f(y,g(f(z,y))),f(f(z,g(f(x,g(z)))),x)) = z.  % candidate 68

interpretation( 29, [

        function(M, [4]),

        function(H, [23]),

        function(K, [25]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,4,8,12,16,20,24,28,3,7,11,15,19,23,27,2,6,10,14,18,22,26,1,5,9,13,17,21,25]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,
			  1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,
			  2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,
			  3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,
			  4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,
			  5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,
			  6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,
			  7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,
			  8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,
			  9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,
			  10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,
			  11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,
			  12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,
			  13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,
			  14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,
			  15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
			  16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,
			  17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,
			  19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,
			  20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,
			  21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,
			  22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,
			  23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,
			  24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,
			  25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,
			  26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,
			  27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,
			  28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,
			  0,2,4,6,8,10,12,14,16,18,20,22,24,26,28,1,3,5,7,9,11,13,15,17,19,21,23,25,27,
			  0,3,6,9,12,15,18,21,24,27,1,4,7,10,13,16,19,22,25,28,2,5,8,11,14,17,20,23,26,
			  0,4,8,12,16,20,24,28,3,7,11,15,19,23,27,2,6,10,14,18,22,26,1,5,9,13,17,21,25,
			  0,5,10,15,20,25,1,6,11,16,21,26,2,7,12,17,22,27,3,8,13,18,23,28,4,9,14,19,24,
			  0,6,12,18,24,1,7,13,19,25,2,8,14,20,26,3,9,15,21,27,4,10,16,22,28,5,11,17,23,
			  0,7,14,21,28,6,13,20,27,5,12,19,26,4,11,18,25,3,10,17,24,2,9,16,23,1,8,15,22,
			  0,8,16,24,3,11,19,27,6,14,22,1,9,17,25,4,12,20,28,7,15,23,2,10,18,26,5,13,21,
			  0,9,18,27,7,16,25,5,14,23,3,12,21,1,10,19,28,8,17,26,6,15,24,4,13,22,2,11,20,
			  0,10,20,1,11,21,2,12,22,3,13,23,4,14,24,5,15,25,6,16,26,7,17,27,8,18,28,9,19,
			  0,11,22,4,15,26,8,19,1,12,23,5,16,27,9,20,2,13,24,6,17,28,10,21,3,14,25,7,18,
			  0,12,24,7,19,2,14,26,9,21,4,16,28,11,23,6,18,1,13,25,8,20,3,15,27,10,22,5,17,
			  0,13,26,10,23,7,20,4,17,1,14,27,11,24,8,21,5,18,2,15,28,12,25,9,22,6,19,3,16,
			  0,14,28,13,27,12,26,11,25,10,24,9,23,8,22,7,21,6,20,5,19,4,18,3,17,2,16,1,15,
			  0,15,1,16,2,17,3,18,4,19,5,20,6,21,7,22,8,23,9,24,10,25,11,26,12,27,13,28,14,
			  0,16,3,19,6,22,9,25,12,28,15,2,18,5,21,8,24,11,27,14,1,17,4,20,7,23,10,26,13,
			  0,17,5,22,10,27,15,3,20,8,25,13,1,18,6,23,11,28,16,4,21,9,26,14,2,19,7,24,12,
			  0,18,7,25,14,3,21,10,28,17,6,24,13,2,20,9,27,16,5,23,12,1,19,8,26,15,4,22,11,
			  0,19,9,28,18,8,27,17,7,26,16,6,25,15,5,24,14,4,23,13,3,22,12,2,21,11,1,20,10,
			  0,20,11,2,22,13,4,24,15,6,26,17,8,28,19,10,1,21,12,3,23,14,5,25,16,7,27,18,9,
			  0,21,13,5,26,18,10,2,23,15,7,28,20,12,4,25,17,9,1,22,14,6,27,19,11,3,24,16,8,
			  0,22,15,8,1,23,16,9,2,24,17,10,3,25,18,11,4,26,19,12,5,27,20,13,6,28,21,14,7,
			  0,23,17,11,5,28,22,16,10,4,27,21,15,9,3,26,20,14,8,2,25,19,13,7,1,24,18,12,6,
			  0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,
			  0,25,21,17,13,9,5,1,26,22,18,14,10,6,2,27,23,19,15,11,7,3,28,24,20,16,12,8,4,
			  0,26,23,20,17,14,11,8,5,2,28,25,22,19,16,13,10,7,4,1,27,24,21,18,15,12,9,6,3,
			  0,27,25,23,21,19,17,15,13,11,9,7,5,3,1,28,26,24,22,20,18,16,14,12,10,8,6,4,2,
			  0,28,27,26,25,24,23,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,25,21,17,13,9,5,1,26,22,18,14,10,6,2,27,23,19,15,11,7,3,28,24,20,16,12,8,4,
			  23,19,15,11,7,3,28,24,20,16,12,8,4,0,25,21,17,13,9,5,1,26,22,18,14,10,6,2,27,
			  17,13,9,5,1,26,22,18,14,10,6,2,27,23,19,15,11,7,3,28,24,20,16,12,8,4,0,25,21,
			  11,7,3,28,24,20,16,12,8,4,0,25,21,17,13,9,5,1,26,22,18,14,10,6,2,27,23,19,15,
			  5,1,26,22,18,14,10,6,2,27,23,19,15,11,7,3,28,24,20,16,12,8,4,0,25,21,17,13,9,
			  28,24,20,16,12,8,4,0,25,21,17,13,9,5,1,26,22,18,14,10,6,2,27,23,19,15,11,7,3,
			  22,18,14,10,6,2,27,23,19,15,11,7,3,28,24,20,16,12,8,4,0,25,21,17,13,9,5,1,26,
			  16,12,8,4,0,25,21,17,13,9,5,1,26,22,18,14,10,6,2,27,23,19,15,11,7,3,28,24,20,
			  10,6,2,27,23,19,15,11,7,3,28,24,20,16,12,8,4,0,25,21,17,13,9,5,1,26,22,18,14,
			  4,0,25,21,17,13,9,5,1,26,22,18,14,10,6,2,27,23,19,15,11,7,3,28,24,20,16,12,8,
			  27,23,19,15,11,7,3,28,24,20,16,12,8,4,0,25,21,17,13,9,5,1,26,22,18,14,10,6,2,
			  21,17,13,9,5,1,26,22,18,14,10,6,2,27,23,19,15,11,7,3,28,24,20,16,12,8,4,0,25,
			  15,11,7,3,28,24,20,16,12,8,4,0,25,21,17,13,9,5,1,26,22,18,14,10,6,2,27,23,19,
			  9,5,1,26,22,18,14,10,6,2,27,23,19,15,11,7,3,28,24,20,16,12,8,4,0,25,21,17,13,
			  3,28,24,20,16,12,8,4,0,25,21,17,13,9,5,1,26,22,18,14,10,6,2,27,23,19,15,11,7,
			  26,22,18,14,10,6,2,27,23,19,15,11,7,3,28,24,20,16,12,8,4,0,25,21,17,13,9,5,1,
			  20,16,12,8,4,0,25,21,17,13,9,5,1,26,22,18,14,10,6,2,27,23,19,15,11,7,3,28,24,
			  14,10,6,2,27,23,19,15,11,7,3,28,24,20,16,12,8,4,0,25,21,17,13,9,5,1,26,22,18,
			  8,4,0,25,21,17,13,9,5,1,26,22,18,14,10,6,2,27,23,19,15,11,7,3,28,24,20,16,12,
			  2,27,23,19,15,11,7,3,28,24,20,16,12,8,4,0,25,21,17,13,9,5,1,26,22,18,14,10,6,
			  25,21,17,13,9,5,1,26,22,18,14,10,6,2,27,23,19,15,11,7,3,28,24,20,16,12,8,4,0,
			  19,15,11,7,3,28,24,20,16,12,8,4,0,25,21,17,13,9,5,1,26,22,18,14,10,6,2,27,23,
			  13,9,5,1,26,22,18,14,10,6,2,27,23,19,15,11,7,3,28,24,20,16,12,8,4,0,25,21,17,
			  7,3,28,24,20,16,12,8,4,0,25,21,17,13,9,5,1,26,22,18,14,10,6,2,27,23,19,15,11,
			  1,26,22,18,14,10,6,2,27,23,19,15,11,7,3,28,24,20,16,12,8,4,0,25,21,17,13,9,5,
			  24,20,16,12,8,4,0,25,21,17,13,9,5,1,26,22,18,14,10,6,2,27,23,19,15,11,7,3,28,
			  18,14,10,6,2,27,23,19,15,11,7,3,28,24,20,16,12,8,4,0,25,21,17,13,9,5,1,26,22,
			  12,8,4,0,25,21,17,13,9,5,1,26,22,18,14,10,6,2,27,23,19,15,11,7,3,28,24,20,16,
			  6,2,27,23,19,15,11,7,3,28,24,20,16,12,8,4,0,25,21,17,13,9,5,1,26,22,18,14,10])
]).

% f(f(x,f(g(x),z)),g(f(f(y,g(f(x,y))),x))) = z.  % candidate 76

interpretation( 13, [

        function(M, [10]),

        function(H, [9]),

        function(K, [4]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,10,7,4,1,11,8,5,2,12,9,6,3]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,
			  1,2,3,4,5,6,7,8,9,10,11,12,0,
			  2,3,4,5,6,7,8,9,10,11,12,0,1,
			  3,4,5,6,7,8,9,10,11,12,0,1,2,
			  4,5,6,7,8,9,10,11,12,0,1,2,3,
			  5,6,7,8,9,10,11,12,0,1,2,3,4,
			  6,7,8,9,10,11,12,0,1,2,3,4,5,
			  7,8,9,10,11,12,0,1,2,3,4,5,6,
			  8,9,10,11,12,0,1,2,3,4,5,6,7,
			  9,10,11,12,0,1,2,3,4,5,6,7,8,
			  10,11,12,0,1,2,3,4,5,6,7,8,9,
			  11,12,0,1,2,3,4,5,6,7,8,9,10,
			  12,0,1,2,3,4,5,6,7,8,9,10,11]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,
			  0,2,4,6,8,10,12,1,3,5,7,9,11,
			  0,3,6,9,12,2,5,8,11,1,4,7,10,
			  0,4,8,12,3,7,11,2,6,10,1,5,9,
			  0,5,10,2,7,12,4,9,1,6,11,3,8,
			  0,6,12,5,11,4,10,3,9,2,8,1,7,
			  0,7,1,8,2,9,3,10,4,11,5,12,6,
			  0,8,3,11,6,1,9,4,12,7,2,10,5,
			  0,9,5,1,10,6,2,11,7,3,12,8,4,
			  0,10,7,4,1,11,8,5,2,12,9,6,3,
			  0,11,9,7,5,3,1,12,10,8,6,4,2,
			  0,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,4,8,12,3,7,11,2,6,10,1,5,9,
			  9,0,4,8,12,3,7,11,2,6,10,1,5,
			  5,9,0,4,8,12,3,7,11,2,6,10,1,
			  1,5,9,0,4,8,12,3,7,11,2,6,10,
			  10,1,5,9,0,4,8,12,3,7,11,2,6,
			  6,10,1,5,9,0,4,8,12,3,7,11,2,
			  2,6,10,1,5,9,0,4,8,12,3,7,11,
			  11,2,6,10,1,5,9,0,4,8,12,3,7,
			  7,11,2,6,10,1,5,9,0,4,8,12,3,
			  3,7,11,2,6,10,1,5,9,0,4,8,12,
			  12,3,7,11,2,6,10,1,5,9,0,4,8,
			  8,12,3,7,11,2,6,10,1,5,9,0,4,
			  4,8,12,3,7,11,2,6,10,1,5,9,0])
]).

% f(f(g(x),f(x,z)),g(f(f(x,g(f(y,x))),y))) = z.  % candidate 77

interpretation( 11, [

        function(M, [7]),

        function(H, [5]),

        function(K, [8]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,7,3,10,6,2,9,5,1,8,4]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,8,5,2,10,7,4,1,9,6,3,
			  5,2,10,7,4,1,9,6,3,0,8,
			  10,7,4,1,9,6,3,0,8,5,2,
			  4,1,9,6,3,0,8,5,2,10,7,
			  9,6,3,0,8,5,2,10,7,4,1,
			  3,0,8,5,2,10,7,4,1,9,6,
			  8,5,2,10,7,4,1,9,6,3,0,
			  2,10,7,4,1,9,6,3,0,8,5,
			  7,4,1,9,6,3,0,8,5,2,10,
			  1,9,6,3,0,8,5,2,10,7,4,
			  6,3,0,8,5,2,10,7,4,1,9])
]).

% f(f(y,f(z,g(z))),g(f(x,f(g(f(z,x)),y)))) = z.  % candidate 100

interpretation( 11, [

        function(M, [8]),

        function(H, [8]),

        function(K, [9]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,8,5,2,10,7,4,1,9,6,3]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,9,7,5,3,1,10,8,6,4,2,
			  8,6,4,2,0,9,7,5,3,1,10,
			  5,3,1,10,8,6,4,2,0,9,7,
			  2,0,9,7,5,3,1,10,8,6,4,
			  10,8,6,4,2,0,9,7,5,3,1,
			  7,5,3,1,10,8,6,4,2,0,9,
			  4,2,0,9,7,5,3,1,10,8,6,
			  1,10,8,6,4,2,0,9,7,5,3,
			  9,7,5,3,1,10,8,6,4,2,0,
			  6,4,2,0,9,7,5,3,1,10,8,
			  3,1,10,8,6,4,2,0,9,7,5])
]).

% f(g(f(y,f(x,g(z)))),f(g(z),f(f(z,y),x))) = z.  % candidate 102

interpretation( 11, [

        function(M, [2]),

        function(H, [9]),

        function(K, [5]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,2,4,6,8,10,1,3,5,7,9]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,5,10,4,9,3,8,2,7,1,6,
			  9,3,8,2,7,1,6,0,5,10,4,
			  7,1,6,0,5,10,4,9,3,8,2,
			  5,10,4,9,3,8,2,7,1,6,0,
			  3,8,2,7,1,6,0,5,10,4,9,
			  1,6,0,5,10,4,9,3,8,2,7,
			  10,4,9,3,8,2,7,1,6,0,5,
			  8,2,7,1,6,0,5,10,4,9,3,
			  6,0,5,10,4,9,3,8,2,7,1,
			  4,9,3,8,2,7,1,6,0,5,10,
			  2,7,1,6,0,5,10,4,9,3,8])
]).

% g(f(f(y,f(x,z)),f(g(z),g(f(f(z,y),x))))) = z.  % candidate 103

interpretation( 11, [

        function(M, [2]),

        function(H, [6]),

        function(K, [2]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,2,4,6,8,10,1,3,5,7,9]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,2,4,6,8,10,1,3,5,7,9,
			  6,8,10,1,3,5,7,9,0,2,4,
			  1,3,5,7,9,0,2,4,6,8,10,
			  7,9,0,2,4,6,8,10,1,3,5,
			  2,4,6,8,10,1,3,5,7,9,0,
			  8,10,1,3,5,7,9,0,2,4,6,
			  3,5,7,9,0,2,4,6,8,10,1,
			  9,0,2,4,6,8,10,1,3,5,7,
			  4,6,8,10,1,3,5,7,9,0,2,
			  10,1,3,5,7,9,0,2,4,6,8,
			  5,7,9,0,2,4,6,8,10,1,3])
]).

% f(f(y,f(x,g(z))),f(z,g(f(f(g(z),y),x)))) = z.  % candidate 105

interpretation( 11, [

        function(M, [2]),

        function(H, [5]),

        function(K, [9]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,2,4,6,8,10,1,3,5,7,9]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,9,7,5,3,1,10,8,6,4,2,
			  5,3,1,10,8,6,4,2,0,9,7,
			  10,8,6,4,2,0,9,7,5,3,1,
			  4,2,0,9,7,5,3,1,10,8,6,
			  9,7,5,3,1,10,8,6,4,2,0,
			  3,1,10,8,6,4,2,0,9,7,5,
			  8,6,4,2,0,9,7,5,3,1,10,
			  2,0,9,7,5,3,1,10,8,6,4,
			  7,5,3,1,10,8,6,4,2,0,9,
			  1,10,8,6,4,2,0,9,7,5,3,
			  6,4,2,0,9,7,5,3,1,10,8])
]).

% f(f(y,f(g(x),x)),g(f(z,f(g(f(z,z)),y)))) = z.  % candidate 106

interpretation( 17, [

        function(M, [12]),

        function(H, [4]),

        function(K, [3]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,12,7,2,14,9,4,16,11,6,1,13,8,3,15,10,5]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,
			  2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,
			  3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,
			  4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,
			  5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,
			  6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,
			  7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,
			  8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,
			  9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,
			  10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,
			  11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,
			  12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,
			  13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,
			  14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,
			  15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
			  16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  0,2,4,6,8,10,12,14,16,1,3,5,7,9,11,13,15,
			  0,3,6,9,12,15,1,4,7,10,13,16,2,5,8,11,14,
			  0,4,8,12,16,3,7,11,15,2,6,10,14,1,5,9,13,
			  0,5,10,15,3,8,13,1,6,11,16,4,9,14,2,7,12,
			  0,6,12,1,7,13,2,8,14,3,9,15,4,10,16,5,11,
			  0,7,14,4,11,1,8,15,5,12,2,9,16,6,13,3,10,
			  0,8,16,7,15,6,14,5,13,4,12,3,11,2,10,1,9,
			  0,9,1,10,2,11,3,12,4,13,5,14,6,15,7,16,8,
			  0,10,3,13,6,16,9,2,12,5,15,8,1,11,4,14,7,
			  0,11,5,16,10,4,15,9,3,14,8,2,13,7,1,12,6,
			  0,12,7,2,14,9,4,16,11,6,1,13,8,3,15,10,5,
			  0,13,9,5,1,14,10,6,2,15,11,7,3,16,12,8,4,
			  0,14,11,8,5,2,16,13,10,7,4,1,15,12,9,6,3,
			  0,15,13,11,9,7,5,3,1,16,14,12,10,8,6,4,2,
			  0,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,3,6,9,12,15,1,4,7,10,13,16,2,5,8,11,14,
			  4,7,10,13,16,2,5,8,11,14,0,3,6,9,12,15,1,
			  8,11,14,0,3,6,9,12,15,1,4,7,10,13,16,2,5,
			  12,15,1,4,7,10,13,16,2,5,8,11,14,0,3,6,9,
			  16,2,5,8,11,14,0,3,6,9,12,15,1,4,7,10,13,
			  3,6,9,12,15,1,4,7,10,13,16,2,5,8,11,14,0,
			  7,10,13,16,2,5,8,11,14,0,3,6,9,12,15,1,4,
			  11,14,0,3,6,9,12,15,1,4,7,10,13,16,2,5,8,
			  15,1,4,7,10,13,16,2,5,8,11,14,0,3,6,9,12,
			  2,5,8,11,14,0,3,6,9,12,15,1,4,7,10,13,16,
			  6,9,12,15,1,4,7,10,13,16,2,5,8,11,14,0,3,
			  10,13,16,2,5,8,11,14,0,3,6,9,12,15,1,4,7,
			  14,0,3,6,9,12,15,1,4,7,10,13,16,2,5,8,11,
			  1,4,7,10,13,16,2,5,8,11,14,0,3,6,9,12,15,
			  5,8,11,14,0,3,6,9,12,15,1,4,7,10,13,16,2,
			  9,12,15,1,4,7,10,13,16,2,5,8,11,14,0,3,6,
			  13,16,2,5,8,11,14,0,3,6,9,12,15,1,4,7,10])
]).

% g(f(g(f(y,f(x,z))),f(y,f(f(x,x),g(x))))) = z.  % candidate 107

interpretation( 19, [

        function(M, [7]),

        function(H, [17]),

        function(K, [14]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,7,14,2,9,16,4,11,18,6,13,1,8,15,3,10,17,5,12]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,
			  1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,0,
			  2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,0,1,
			  3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,0,1,2,
			  4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,0,1,2,3,
			  5,6,7,8,9,10,11,12,13,14,15,16,17,18,0,1,2,3,4,
			  6,7,8,9,10,11,12,13,14,15,16,17,18,0,1,2,3,4,5,
			  7,8,9,10,11,12,13,14,15,16,17,18,0,1,2,3,4,5,6,
			  8,9,10,11,12,13,14,15,16,17,18,0,1,2,3,4,5,6,7,
			  9,10,11,12,13,14,15,16,17,18,0,1,2,3,4,5,6,7,8,
			  10,11,12,13,14,15,16,17,18,0,1,2,3,4,5,6,7,8,9,
			  11,12,13,14,15,16,17,18,0,1,2,3,4,5,6,7,8,9,10,
			  12,13,14,15,16,17,18,0,1,2,3,4,5,6,7,8,9,10,11,
			  13,14,15,16,17,18,0,1,2,3,4,5,6,7,8,9,10,11,12,
			  14,15,16,17,18,0,1,2,3,4,5,6,7,8,9,10,11,12,13,
			  15,16,17,18,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
			  16,17,18,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,
			  17,18,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  18,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,
			  0,2,4,6,8,10,12,14,16,18,1,3,5,7,9,11,13,15,17,
			  0,3,6,9,12,15,18,2,5,8,11,14,17,1,4,7,10,13,16,
			  0,4,8,12,16,1,5,9,13,17,2,6,10,14,18,3,7,11,15,
			  0,5,10,15,1,6,11,16,2,7,12,17,3,8,13,18,4,9,14,
			  0,6,12,18,5,11,17,4,10,16,3,9,15,2,8,14,1,7,13,
			  0,7,14,2,9,16,4,11,18,6,13,1,8,15,3,10,17,5,12,
			  0,8,16,5,13,2,10,18,7,15,4,12,1,9,17,6,14,3,11,
			  0,9,18,8,17,7,16,6,15,5,14,4,13,3,12,2,11,1,10,
			  0,10,1,11,2,12,3,13,4,14,5,15,6,16,7,17,8,18,9,
			  0,11,3,14,6,17,9,1,12,4,15,7,18,10,2,13,5,16,8,
			  0,12,5,17,10,3,15,8,1,13,6,18,11,4,16,9,2,14,7,
			  0,13,7,1,14,8,2,15,9,3,16,10,4,17,11,5,18,12,6,
			  0,14,9,4,18,13,8,3,17,12,7,2,16,11,6,1,15,10,5,
			  0,15,11,7,3,18,14,10,6,2,17,13,9,5,1,16,12,8,4,
			  0,16,13,10,7,4,1,17,14,11,8,5,2,18,15,12,9,6,3,
			  0,17,15,13,11,9,7,5,3,1,18,16,14,12,10,8,6,4,2,
			  0,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,14,9,4,18,13,8,3,17,12,7,2,16,11,6,1,15,10,5,
			  17,12,7,2,16,11,6,1,15,10,5,0,14,9,4,18,13,8,3,
			  15,10,5,0,14,9,4,18,13,8,3,17,12,7,2,16,11,6,1,
			  13,8,3,17,12,7,2,16,11,6,1,15,10,5,0,14,9,4,18,
			  11,6,1,15,10,5,0,14,9,4,18,13,8,3,17,12,7,2,16,
			  9,4,18,13,8,3,17,12,7,2,16,11,6,1,15,10,5,0,14,
			  7,2,16,11,6,1,15,10,5,0,14,9,4,18,13,8,3,17,12,
			  5,0,14,9,4,18,13,8,3,17,12,7,2,16,11,6,1,15,10,
			  3,17,12,7,2,16,11,6,1,15,10,5,0,14,9,4,18,13,8,
			  1,15,10,5,0,14,9,4,18,13,8,3,17,12,7,2,16,11,6,
			  18,13,8,3,17,12,7,2,16,11,6,1,15,10,5,0,14,9,4,
			  16,11,6,1,15,10,5,0,14,9,4,18,13,8,3,17,12,7,2,
			  14,9,4,18,13,8,3,17,12,7,2,16,11,6,1,15,10,5,0,
			  12,7,2,16,11,6,1,15,10,5,0,14,9,4,18,13,8,3,17,
			  10,5,0,14,9,4,18,13,8,3,17,12,7,2,16,11,6,1,15,
			  8,3,17,12,7,2,16,11,6,1,15,10,5,0,14,9,4,18,13,
			  6,1,15,10,5,0,14,9,4,18,13,8,3,17,12,7,2,16,11,
			  4,18,13,8,3,17,12,7,2,16,11,6,1,15,10,5,0,14,9,
			  2,16,11,6,1,15,10,5,0,14,9,4,18,13,8,3,17,12,7])
]).

% g(f(g(f(y,f(x,z))),f(x,f(f(g(x),y),x)))) = z.  % candidate 109

interpretation( 13, [

        function(M, [3]),

        function(H, [9]),

        function(K, [10]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,3,6,9,12,2,5,8,11,1,4,7,10]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,
			  1,2,3,4,5,6,7,8,9,10,11,12,0,
			  2,3,4,5,6,7,8,9,10,11,12,0,1,
			  3,4,5,6,7,8,9,10,11,12,0,1,2,
			  4,5,6,7,8,9,10,11,12,0,1,2,3,
			  5,6,7,8,9,10,11,12,0,1,2,3,4,
			  6,7,8,9,10,11,12,0,1,2,3,4,5,
			  7,8,9,10,11,12,0,1,2,3,4,5,6,
			  8,9,10,11,12,0,1,2,3,4,5,6,7,
			  9,10,11,12,0,1,2,3,4,5,6,7,8,
			  10,11,12,0,1,2,3,4,5,6,7,8,9,
			  11,12,0,1,2,3,4,5,6,7,8,9,10,
			  12,0,1,2,3,4,5,6,7,8,9,10,11]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,
			  0,2,4,6,8,10,12,1,3,5,7,9,11,
			  0,3,6,9,12,2,5,8,11,1,4,7,10,
			  0,4,8,12,3,7,11,2,6,10,1,5,9,
			  0,5,10,2,7,12,4,9,1,6,11,3,8,
			  0,6,12,5,11,4,10,3,9,2,8,1,7,
			  0,7,1,8,2,9,3,10,4,11,5,12,6,
			  0,8,3,11,6,1,9,4,12,7,2,10,5,
			  0,9,5,1,10,6,2,11,7,3,12,8,4,
			  0,10,7,4,1,11,8,5,2,12,9,6,3,
			  0,11,9,7,5,3,1,12,10,8,6,4,2,
			  0,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,10,7,4,1,11,8,5,2,12,9,6,3,
			  9,6,3,0,10,7,4,1,11,8,5,2,12,
			  5,2,12,9,6,3,0,10,7,4,1,11,8,
			  1,11,8,5,2,12,9,6,3,0,10,7,4,
			  10,7,4,1,11,8,5,2,12,9,6,3,0,
			  6,3,0,10,7,4,1,11,8,5,2,12,9,
			  2,12,9,6,3,0,10,7,4,1,11,8,5,
			  11,8,5,2,12,9,6,3,0,10,7,4,1,
			  7,4,1,11,8,5,2,12,9,6,3,0,10,
			  3,0,10,7,4,1,11,8,5,2,12,9,6,
			  12,9,6,3,0,10,7,4,1,11,8,5,2,
			  8,5,2,12,9,6,3,0,10,7,4,1,11,
			  4,1,11,8,5,2,12,9,6,3,0,10,7])
]).

% g(f(g(f(x,f(x,z))),f(y,f(f(g(y),x),x)))) = z.  % candidate 115

interpretation( 11, [

        function(M, [6]),

        function(H, [1]),

        function(K, [9]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,6,1,7,2,8,3,9,4,10,5]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,9,7,5,3,1,10,8,6,4,2,
			  1,10,8,6,4,2,0,9,7,5,3,
			  2,0,9,7,5,3,1,10,8,6,4,
			  3,1,10,8,6,4,2,0,9,7,5,
			  4,2,0,9,7,5,3,1,10,8,6,
			  5,3,1,10,8,6,4,2,0,9,7,
			  6,4,2,0,9,7,5,3,1,10,8,
			  7,5,3,1,10,8,6,4,2,0,9,
			  8,6,4,2,0,9,7,5,3,1,10,
			  9,7,5,3,1,10,8,6,4,2,0,
			  10,8,6,4,2,0,9,7,5,3,1])
]).

% g(f(f(y,g(f(x,z))),f(x,f(z,g(f(z,y)))))) = z.  % candidate 119

interpretation( 17, [

        function(M, [1]),

        function(H, [16]),

        function(K, [2]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,
			  2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,
			  3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,
			  4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,
			  5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,
			  6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,
			  7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,
			  8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,
			  9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,
			  10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,
			  11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,
			  12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,
			  13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,
			  14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,
			  15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
			  16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  0,2,4,6,8,10,12,14,16,1,3,5,7,9,11,13,15,
			  0,3,6,9,12,15,1,4,7,10,13,16,2,5,8,11,14,
			  0,4,8,12,16,3,7,11,15,2,6,10,14,1,5,9,13,
			  0,5,10,15,3,8,13,1,6,11,16,4,9,14,2,7,12,
			  0,6,12,1,7,13,2,8,14,3,9,15,4,10,16,5,11,
			  0,7,14,4,11,1,8,15,5,12,2,9,16,6,13,3,10,
			  0,8,16,7,15,6,14,5,13,4,12,3,11,2,10,1,9,
			  0,9,1,10,2,11,3,12,4,13,5,14,6,15,7,16,8,
			  0,10,3,13,6,16,9,2,12,5,15,8,1,11,4,14,7,
			  0,11,5,16,10,4,15,9,3,14,8,2,13,7,1,12,6,
			  0,12,7,2,14,9,4,16,11,6,1,13,8,3,15,10,5,
			  0,13,9,5,1,14,10,6,2,15,11,7,3,16,12,8,4,
			  0,14,11,8,5,2,16,13,10,7,4,1,15,12,9,6,3,
			  0,15,13,11,9,7,5,3,1,16,14,12,10,8,6,4,2,
			  0,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,2,4,6,8,10,12,14,16,1,3,5,7,9,11,13,15,
			  16,1,3,5,7,9,11,13,15,0,2,4,6,8,10,12,14,
			  15,0,2,4,6,8,10,12,14,16,1,3,5,7,9,11,13,
			  14,16,1,3,5,7,9,11,13,15,0,2,4,6,8,10,12,
			  13,15,0,2,4,6,8,10,12,14,16,1,3,5,7,9,11,
			  12,14,16,1,3,5,7,9,11,13,15,0,2,4,6,8,10,
			  11,13,15,0,2,4,6,8,10,12,14,16,1,3,5,7,9,
			  10,12,14,16,1,3,5,7,9,11,13,15,0,2,4,6,8,
			  9,11,13,15,0,2,4,6,8,10,12,14,16,1,3,5,7,
			  8,10,12,14,16,1,3,5,7,9,11,13,15,0,2,4,6,
			  7,9,11,13,15,0,2,4,6,8,10,12,14,16,1,3,5,
			  6,8,10,12,14,16,1,3,5,7,9,11,13,15,0,2,4,
			  5,7,9,11,13,15,0,2,4,6,8,10,12,14,16,1,3,
			  4,6,8,10,12,14,16,1,3,5,7,9,11,13,15,0,2,
			  3,5,7,9,11,13,15,0,2,4,6,8,10,12,14,16,1,
			  2,4,6,8,10,12,14,16,1,3,5,7,9,11,13,15,0,
			  1,3,5,7,9,11,13,15,0,2,4,6,8,10,12,14,16])
]).

% f(f(y,x),f(g(f(f(g(f(z,x)),y),x)),g(x))) = z.  % candidate 122

interpretation( 11, [

        function(M, [7]),

        function(H, [8]),

        function(K, [5]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,7,3,10,6,2,9,5,1,8,4]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,5,10,4,9,3,8,2,7,1,6,
			  8,2,7,1,6,0,5,10,4,9,3,
			  5,10,4,9,3,8,2,7,1,6,0,
			  2,7,1,6,0,5,10,4,9,3,8,
			  10,4,9,3,8,2,7,1,6,0,5,
			  7,1,6,0,5,10,4,9,3,8,2,
			  4,9,3,8,2,7,1,6,0,5,10,
			  1,6,0,5,10,4,9,3,8,2,7,
			  9,3,8,2,7,1,6,0,5,10,4,
			  6,0,5,10,4,9,3,8,2,7,1,
			  3,8,2,7,1,6,0,5,10,4,9])
]).

% f(f(x,y),f(g(f(f(g(f(z,g(x))),x),y)),x)) = z.  % candidate 123

interpretation( 11, [

        function(M, [6]),

        function(H, [6]),

        function(K, [9]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,6,1,7,2,8,3,9,4,10,5]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,9,7,5,3,1,10,8,6,4,2,
			  6,4,2,0,9,7,5,3,1,10,8,
			  1,10,8,6,4,2,0,9,7,5,3,
			  7,5,3,1,10,8,6,4,2,0,9,
			  2,0,9,7,5,3,1,10,8,6,4,
			  8,6,4,2,0,9,7,5,3,1,10,
			  3,1,10,8,6,4,2,0,9,7,5,
			  9,7,5,3,1,10,8,6,4,2,0,
			  4,2,0,9,7,5,3,1,10,8,6,
			  10,8,6,4,2,0,9,7,5,3,1,
			  5,3,1,10,8,6,4,2,0,9,7])
]).

% f(f(y,z),f(g(f(f(x,g(f(g(y),z))),z)),x)) = z.  % candidate 128

interpretation( 17, [

        function(M, [5]),

        function(H, [14]),

        function(K, [16]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,5,10,15,3,8,13,1,6,11,16,4,9,14,2,7,12]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,
			  2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,
			  3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,
			  4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,
			  5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,
			  6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,
			  7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,
			  8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,
			  9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,
			  10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,
			  11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,
			  12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,
			  13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,
			  14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,
			  15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
			  16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  0,2,4,6,8,10,12,14,16,1,3,5,7,9,11,13,15,
			  0,3,6,9,12,15,1,4,7,10,13,16,2,5,8,11,14,
			  0,4,8,12,16,3,7,11,15,2,6,10,14,1,5,9,13,
			  0,5,10,15,3,8,13,1,6,11,16,4,9,14,2,7,12,
			  0,6,12,1,7,13,2,8,14,3,9,15,4,10,16,5,11,
			  0,7,14,4,11,1,8,15,5,12,2,9,16,6,13,3,10,
			  0,8,16,7,15,6,14,5,13,4,12,3,11,2,10,1,9,
			  0,9,1,10,2,11,3,12,4,13,5,14,6,15,7,16,8,
			  0,10,3,13,6,16,9,2,12,5,15,8,1,11,4,14,7,
			  0,11,5,16,10,4,15,9,3,14,8,2,13,7,1,12,6,
			  0,12,7,2,14,9,4,16,11,6,1,13,8,3,15,10,5,
			  0,13,9,5,1,14,10,6,2,15,11,7,3,16,12,8,4,
			  0,14,11,8,5,2,16,13,10,7,4,1,15,12,9,6,3,
			  0,15,13,11,9,7,5,3,1,16,14,12,10,8,6,4,2,
			  0,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1,
			  14,13,12,11,10,9,8,7,6,5,4,3,2,1,0,16,15,
			  11,10,9,8,7,6,5,4,3,2,1,0,16,15,14,13,12,
			  8,7,6,5,4,3,2,1,0,16,15,14,13,12,11,10,9,
			  5,4,3,2,1,0,16,15,14,13,12,11,10,9,8,7,6,
			  2,1,0,16,15,14,13,12,11,10,9,8,7,6,5,4,3,
			  16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1,0,
			  13,12,11,10,9,8,7,6,5,4,3,2,1,0,16,15,14,
			  10,9,8,7,6,5,4,3,2,1,0,16,15,14,13,12,11,
			  7,6,5,4,3,2,1,0,16,15,14,13,12,11,10,9,8,
			  4,3,2,1,0,16,15,14,13,12,11,10,9,8,7,6,5,
			  1,0,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,
			  15,14,13,12,11,10,9,8,7,6,5,4,3,2,1,0,16,
			  12,11,10,9,8,7,6,5,4,3,2,1,0,16,15,14,13,
			  9,8,7,6,5,4,3,2,1,0,16,15,14,13,12,11,10,
			  6,5,4,3,2,1,0,16,15,14,13,12,11,10,9,8,7,
			  3,2,1,0,16,15,14,13,12,11,10,9,8,7,6,5,4])
]).

% g(f(f(y,x),g(f(f(f(z,f(z,g(z))),y),x)))) = z.  % candidate 129

interpretation( 11, [

        function(M, [2]),

        function(H, [9]),

        function(K, [1]),

        function(X, [0]),

        function(Y, [1]),

        function(Z, [0]),

        function(g(_), [0,2,4,6,8,10,1,3,5,7,9]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  9,10,0,1,2,3,4,5,6,7,8,
			  7,8,9,10,0,1,2,3,4,5,6,
			  5,6,7,8,9,10,0,1,2,3,4,
			  3,4,5,6,7,8,9,10,0,1,2,
			  1,2,3,4,5,6,7,8,9,10,0,
			  10,0,1,2,3,4,5,6,7,8,9,
			  8,9,10,0,1,2,3,4,5,6,7,
			  6,7,8,9,10,0,1,2,3,4,5,
			  4,5,6,7,8,9,10,0,1,2,3,
			  2,3,4,5,6,7,8,9,10,0,1])
]).

% g(f(f(y,g(y)),f(f(g(f(x,f(x,z))),x),x))) = z.  % candidate 133

interpretation( 11, [

        function(M, [1]),

        function(H, [6]),

        function(K, [5]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,1,2,3,4,5,6,7,8,9,10]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,5,10,4,9,3,8,2,7,1,6,
			  6,0,5,10,4,9,3,8,2,7,1,
			  1,6,0,5,10,4,9,3,8,2,7,
			  7,1,6,0,5,10,4,9,3,8,2,
			  2,7,1,6,0,5,10,4,9,3,8,
			  8,2,7,1,6,0,5,10,4,9,3,
			  3,8,2,7,1,6,0,5,10,4,9,
			  9,3,8,2,7,1,6,0,5,10,4,
			  4,9,3,8,2,7,1,6,0,5,10,
			  10,4,9,3,8,2,7,1,6,0,5,
			  5,10,4,9,3,8,2,7,1,6,0])
]).

% f(f(y,x),g(f(f(g(f(x,f(g(y),z))),x),x))) = z.  % candidate 139

interpretation( 13, [

        function(M, [3]),

        function(H, [4]),

        function(K, [9]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,3,6,9,12,2,5,8,11,1,4,7,10]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,
			  1,2,3,4,5,6,7,8,9,10,11,12,0,
			  2,3,4,5,6,7,8,9,10,11,12,0,1,
			  3,4,5,6,7,8,9,10,11,12,0,1,2,
			  4,5,6,7,8,9,10,11,12,0,1,2,3,
			  5,6,7,8,9,10,11,12,0,1,2,3,4,
			  6,7,8,9,10,11,12,0,1,2,3,4,5,
			  7,8,9,10,11,12,0,1,2,3,4,5,6,
			  8,9,10,11,12,0,1,2,3,4,5,6,7,
			  9,10,11,12,0,1,2,3,4,5,6,7,8,
			  10,11,12,0,1,2,3,4,5,6,7,8,9,
			  11,12,0,1,2,3,4,5,6,7,8,9,10,
			  12,0,1,2,3,4,5,6,7,8,9,10,11]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,
			  0,2,4,6,8,10,12,1,3,5,7,9,11,
			  0,3,6,9,12,2,5,8,11,1,4,7,10,
			  0,4,8,12,3,7,11,2,6,10,1,5,9,
			  0,5,10,2,7,12,4,9,1,6,11,3,8,
			  0,6,12,5,11,4,10,3,9,2,8,1,7,
			  0,7,1,8,2,9,3,10,4,11,5,12,6,
			  0,8,3,11,6,1,9,4,12,7,2,10,5,
			  0,9,5,1,10,6,2,11,7,3,12,8,4,
			  0,10,7,4,1,11,8,5,2,12,9,6,3,
			  0,11,9,7,5,3,1,12,10,8,6,4,2,
			  0,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,9,5,1,10,6,2,11,7,3,12,8,4,
			  4,0,9,5,1,10,6,2,11,7,3,12,8,
			  8,4,0,9,5,1,10,6,2,11,7,3,12,
			  12,8,4,0,9,5,1,10,6,2,11,7,3,
			  3,12,8,4,0,9,5,1,10,6,2,11,7,
			  7,3,12,8,4,0,9,5,1,10,6,2,11,
			  11,7,3,12,8,4,0,9,5,1,10,6,2,
			  2,11,7,3,12,8,4,0,9,5,1,10,6,
			  6,2,11,7,3,12,8,4,0,9,5,1,10,
			  10,6,2,11,7,3,12,8,4,0,9,5,1,
			  1,10,6,2,11,7,3,12,8,4,0,9,5,
			  5,1,10,6,2,11,7,3,12,8,4,0,9,
			  9,5,1,10,6,2,11,7,3,12,8,4,0])
]).

% f(f(y,x),f(g(f(f(x,g(f(g(y),z))),x)),x)) = z.  % candidate 140

interpretation( 17, [

        function(M, [11]),

        function(H, [7]),

        function(K, [13]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,11,5,16,10,4,15,9,3,14,8,2,13,7,1,12,6]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,
			  2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,
			  3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,
			  4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,
			  5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,
			  6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,
			  7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,
			  8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,
			  9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,
			  10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,
			  11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,
			  12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,
			  13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,
			  14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,
			  15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
			  16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  0,2,4,6,8,10,12,14,16,1,3,5,7,9,11,13,15,
			  0,3,6,9,12,15,1,4,7,10,13,16,2,5,8,11,14,
			  0,4,8,12,16,3,7,11,15,2,6,10,14,1,5,9,13,
			  0,5,10,15,3,8,13,1,6,11,16,4,9,14,2,7,12,
			  0,6,12,1,7,13,2,8,14,3,9,15,4,10,16,5,11,
			  0,7,14,4,11,1,8,15,5,12,2,9,16,6,13,3,10,
			  0,8,16,7,15,6,14,5,13,4,12,3,11,2,10,1,9,
			  0,9,1,10,2,11,3,12,4,13,5,14,6,15,7,16,8,
			  0,10,3,13,6,16,9,2,12,5,15,8,1,11,4,14,7,
			  0,11,5,16,10,4,15,9,3,14,8,2,13,7,1,12,6,
			  0,12,7,2,14,9,4,16,11,6,1,13,8,3,15,10,5,
			  0,13,9,5,1,14,10,6,2,15,11,7,3,16,12,8,4,
			  0,14,11,8,5,2,16,13,10,7,4,1,15,12,9,6,3,
			  0,15,13,11,9,7,5,3,1,16,14,12,10,8,6,4,2,
			  0,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,13,9,5,1,14,10,6,2,15,11,7,3,16,12,8,4,
			  7,3,16,12,8,4,0,13,9,5,1,14,10,6,2,15,11,
			  14,10,6,2,15,11,7,3,16,12,8,4,0,13,9,5,1,
			  4,0,13,9,5,1,14,10,6,2,15,11,7,3,16,12,8,
			  11,7,3,16,12,8,4,0,13,9,5,1,14,10,6,2,15,
			  1,14,10,6,2,15,11,7,3,16,12,8,4,0,13,9,5,
			  8,4,0,13,9,5,1,14,10,6,2,15,11,7,3,16,12,
			  15,11,7,3,16,12,8,4,0,13,9,5,1,14,10,6,2,
			  5,1,14,10,6,2,15,11,7,3,16,12,8,4,0,13,9,
			  12,8,4,0,13,9,5,1,14,10,6,2,15,11,7,3,16,
			  2,15,11,7,3,16,12,8,4,0,13,9,5,1,14,10,6,
			  9,5,1,14,10,6,2,15,11,7,3,16,12,8,4,0,13,
			  16,12,8,4,0,13,9,5,1,14,10,6,2,15,11,7,3,
			  6,2,15,11,7,3,16,12,8,4,0,13,9,5,1,14,10,
			  13,9,5,1,14,10,6,2,15,11,7,3,16,12,8,4,0,
			  3,16,12,8,4,0,13,9,5,1,14,10,6,2,15,11,7,
			  10,6,2,15,11,7,3,16,12,8,4,0,13,9,5,1,14])
]).

% g(f(f(y,x),g(f(f(f(g(x),f(x,z)),y),x)))) = z.  % candidate 143

interpretation( 11, [

        function(M, [3]),

        function(H, [2]),

        function(K, [5]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,3,6,9,1,4,7,10,2,5,8]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,5,10,4,9,3,8,2,7,1,6,
			  2,7,1,6,0,5,10,4,9,3,8,
			  4,9,3,8,2,7,1,6,0,5,10,
			  6,0,5,10,4,9,3,8,2,7,1,
			  8,2,7,1,6,0,5,10,4,9,3,
			  10,4,9,3,8,2,7,1,6,0,5,
			  1,6,0,5,10,4,9,3,8,2,7,
			  3,8,2,7,1,6,0,5,10,4,9,
			  5,10,4,9,3,8,2,7,1,6,0,
			  7,1,6,0,5,10,4,9,3,8,2,
			  9,3,8,2,7,1,6,0,5,10,4])
]).

% g(f(f(x,y),g(f(f(f(z,f(g(x),x)),x),y)))) = z.  % candidate 146

interpretation( 11, [

        function(M, [8]),

        function(H, [8]),

        function(K, [10]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,8,5,2,10,7,4,1,9,6,3]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,10,9,8,7,6,5,4,3,2,1,
			  8,7,6,5,4,3,2,1,0,10,9,
			  5,4,3,2,1,0,10,9,8,7,6,
			  2,1,0,10,9,8,7,6,5,4,3,
			  10,9,8,7,6,5,4,3,2,1,0,
			  7,6,5,4,3,2,1,0,10,9,8,
			  4,3,2,1,0,10,9,8,7,6,5,
			  1,0,10,9,8,7,6,5,4,3,2,
			  9,8,7,6,5,4,3,2,1,0,10,
			  6,5,4,3,2,1,0,10,9,8,7,
			  3,2,1,0,10,9,8,7,6,5,4])
]).

% f(f(x,g(x)),f(g(f(f(y,g(f(x,z))),x)),y)) = z.  % candidate 156

interpretation( 11, [

        function(M, [9]),

        function(H, [10]),

        function(K, [9]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,9,7,5,3,1,10,8,6,4,2]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,9,7,5,3,1,10,8,6,4,2,
			  10,8,6,4,2,0,9,7,5,3,1,
			  9,7,5,3,1,10,8,6,4,2,0,
			  8,6,4,2,0,9,7,5,3,1,10,
			  7,5,3,1,10,8,6,4,2,0,9,
			  6,4,2,0,9,7,5,3,1,10,8,
			  5,3,1,10,8,6,4,2,0,9,7,
			  4,2,0,9,7,5,3,1,10,8,6,
			  3,1,10,8,6,4,2,0,9,7,5,
			  2,0,9,7,5,3,1,10,8,6,4,
			  1,10,8,6,4,2,0,9,7,5,3])
]).

% f(f(y,g(y)),f(g(f(x,f(g(f(z,z)),z))),x)) = z.  % candidate 158

interpretation( 23, [

        function(M, [5]),

        function(H, [12]),

        function(K, [16]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,5,10,15,20,2,7,12,17,22,4,9,14,19,1,6,11,16,21,3,8,13,18]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,
			  1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,0,
			  2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,0,1,
			  3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,0,1,2,
			  4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,0,1,2,3,
			  5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,0,1,2,3,4,
			  6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,0,1,2,3,4,5,
			  7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,0,1,2,3,4,5,6,
			  8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,0,1,2,3,4,5,6,7,
			  9,10,11,12,13,14,15,16,17,18,19,20,21,22,0,1,2,3,4,5,6,7,8,
			  10,11,12,13,14,15,16,17,18,19,20,21,22,0,1,2,3,4,5,6,7,8,9,
			  11,12,13,14,15,16,17,18,19,20,21,22,0,1,2,3,4,5,6,7,8,9,10,
			  12,13,14,15,16,17,18,19,20,21,22,0,1,2,3,4,5,6,7,8,9,10,11,
			  13,14,15,16,17,18,19,20,21,22,0,1,2,3,4,5,6,7,8,9,10,11,12,
			  14,15,16,17,18,19,20,21,22,0,1,2,3,4,5,6,7,8,9,10,11,12,13,
			  15,16,17,18,19,20,21,22,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
			  16,17,18,19,20,21,22,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,
			  17,18,19,20,21,22,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  18,19,20,21,22,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,
			  19,20,21,22,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,
			  20,21,22,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,
			  21,22,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,
			  22,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,
			  0,2,4,6,8,10,12,14,16,18,20,22,1,3,5,7,9,11,13,15,17,19,21,
			  0,3,6,9,12,15,18,21,1,4,7,10,13,16,19,22,2,5,8,11,14,17,20,
			  0,4,8,12,16,20,1,5,9,13,17,21,2,6,10,14,18,22,3,7,11,15,19,
			  0,5,10,15,20,2,7,12,17,22,4,9,14,19,1,6,11,16,21,3,8,13,18,
			  0,6,12,18,1,7,13,19,2,8,14,20,3,9,15,21,4,10,16,22,5,11,17,
			  0,7,14,21,5,12,19,3,10,17,1,8,15,22,6,13,20,4,11,18,2,9,16,
			  0,8,16,1,9,17,2,10,18,3,11,19,4,12,20,5,13,21,6,14,22,7,15,
			  0,9,18,4,13,22,8,17,3,12,21,7,16,2,11,20,6,15,1,10,19,5,14,
			  0,10,20,7,17,4,14,1,11,21,8,18,5,15,2,12,22,9,19,6,16,3,13,
			  0,11,22,10,21,9,20,8,19,7,18,6,17,5,16,4,15,3,14,2,13,1,12,
			  0,12,1,13,2,14,3,15,4,16,5,17,6,18,7,19,8,20,9,21,10,22,11,
			  0,13,3,16,6,19,9,22,12,2,15,5,18,8,21,11,1,14,4,17,7,20,10,
			  0,14,5,19,10,1,15,6,20,11,2,16,7,21,12,3,17,8,22,13,4,18,9,
			  0,15,7,22,14,6,21,13,5,20,12,4,19,11,3,18,10,2,17,9,1,16,8,
			  0,16,9,2,18,11,4,20,13,6,22,15,8,1,17,10,3,19,12,5,21,14,7,
			  0,17,11,5,22,16,10,4,21,15,9,3,20,14,8,2,19,13,7,1,18,12,6,
			  0,18,13,8,3,21,16,11,6,1,19,14,9,4,22,17,12,7,2,20,15,10,5,
			  0,19,15,11,7,3,22,18,14,10,6,2,21,17,13,9,5,1,20,16,12,8,4,
			  0,20,17,14,11,8,5,2,22,19,16,13,10,7,4,1,21,18,15,12,9,6,3,
			  0,21,19,17,15,13,11,9,7,5,3,1,22,20,18,16,14,12,10,8,6,4,2,
			  0,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,16,9,2,18,11,4,20,13,6,22,15,8,1,17,10,3,19,12,5,21,14,7,
			  12,5,21,14,7,0,16,9,2,18,11,4,20,13,6,22,15,8,1,17,10,3,19,
			  1,17,10,3,19,12,5,21,14,7,0,16,9,2,18,11,4,20,13,6,22,15,8,
			  13,6,22,15,8,1,17,10,3,19,12,5,21,14,7,0,16,9,2,18,11,4,20,
			  2,18,11,4,20,13,6,22,15,8,1,17,10,3,19,12,5,21,14,7,0,16,9,
			  14,7,0,16,9,2,18,11,4,20,13,6,22,15,8,1,17,10,3,19,12,5,21,
			  3,19,12,5,21,14,7,0,16,9,2,18,11,4,20,13,6,22,15,8,1,17,10,
			  15,8,1,17,10,3,19,12,5,21,14,7,0,16,9,2,18,11,4,20,13,6,22,
			  4,20,13,6,22,15,8,1,17,10,3,19,12,5,21,14,7,0,16,9,2,18,11,
			  16,9,2,18,11,4,20,13,6,22,15,8,1,17,10,3,19,12,5,21,14,7,0,
			  5,21,14,7,0,16,9,2,18,11,4,20,13,6,22,15,8,1,17,10,3,19,12,
			  17,10,3,19,12,5,21,14,7,0,16,9,2,18,11,4,20,13,6,22,15,8,1,
			  6,22,15,8,1,17,10,3,19,12,5,21,14,7,0,16,9,2,18,11,4,20,13,
			  18,11,4,20,13,6,22,15,8,1,17,10,3,19,12,5,21,14,7,0,16,9,2,
			  7,0,16,9,2,18,11,4,20,13,6,22,15,8,1,17,10,3,19,12,5,21,14,
			  19,12,5,21,14,7,0,16,9,2,18,11,4,20,13,6,22,15,8,1,17,10,3,
			  8,1,17,10,3,19,12,5,21,14,7,0,16,9,2,18,11,4,20,13,6,22,15,
			  20,13,6,22,15,8,1,17,10,3,19,12,5,21,14,7,0,16,9,2,18,11,4,
			  9,2,18,11,4,20,13,6,22,15,8,1,17,10,3,19,12,5,21,14,7,0,16,
			  21,14,7,0,16,9,2,18,11,4,20,13,6,22,15,8,1,17,10,3,19,12,5,
			  10,3,19,12,5,21,14,7,0,16,9,2,18,11,4,20,13,6,22,15,8,1,17,
			  22,15,8,1,17,10,3,19,12,5,21,14,7,0,16,9,2,18,11,4,20,13,6,
			  11,4,20,13,6,22,15,8,1,17,10,3,19,12,5,21,14,7,0,16,9,2,18])
]).

% f(f(g(x),y),f(g(f(x,f(g(f(x,z)),y))),x)) = z.  % candidate 159

interpretation( 17, [

        function(M, [4]),

        function(H, [7]),

        function(K, [15]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,4,8,12,16,3,7,11,15,2,6,10,14,1,5,9,13]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,
			  2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,
			  3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,
			  4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,
			  5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,
			  6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,
			  7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,
			  8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,
			  9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,
			  10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,
			  11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,
			  12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,
			  13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,
			  14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,
			  15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
			  16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  0,2,4,6,8,10,12,14,16,1,3,5,7,9,11,13,15,
			  0,3,6,9,12,15,1,4,7,10,13,16,2,5,8,11,14,
			  0,4,8,12,16,3,7,11,15,2,6,10,14,1,5,9,13,
			  0,5,10,15,3,8,13,1,6,11,16,4,9,14,2,7,12,
			  0,6,12,1,7,13,2,8,14,3,9,15,4,10,16,5,11,
			  0,7,14,4,11,1,8,15,5,12,2,9,16,6,13,3,10,
			  0,8,16,7,15,6,14,5,13,4,12,3,11,2,10,1,9,
			  0,9,1,10,2,11,3,12,4,13,5,14,6,15,7,16,8,
			  0,10,3,13,6,16,9,2,12,5,15,8,1,11,4,14,7,
			  0,11,5,16,10,4,15,9,3,14,8,2,13,7,1,12,6,
			  0,12,7,2,14,9,4,16,11,6,1,13,8,3,15,10,5,
			  0,13,9,5,1,14,10,6,2,15,11,7,3,16,12,8,4,
			  0,14,11,8,5,2,16,13,10,7,4,1,15,12,9,6,3,
			  0,15,13,11,9,7,5,3,1,16,14,12,10,8,6,4,2,
			  0,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,15,13,11,9,7,5,3,1,16,14,12,10,8,6,4,2,
			  7,5,3,1,16,14,12,10,8,6,4,2,0,15,13,11,9,
			  14,12,10,8,6,4,2,0,15,13,11,9,7,5,3,1,16,
			  4,2,0,15,13,11,9,7,5,3,1,16,14,12,10,8,6,
			  11,9,7,5,3,1,16,14,12,10,8,6,4,2,0,15,13,
			  1,16,14,12,10,8,6,4,2,0,15,13,11,9,7,5,3,
			  8,6,4,2,0,15,13,11,9,7,5,3,1,16,14,12,10,
			  15,13,11,9,7,5,3,1,16,14,12,10,8,6,4,2,0,
			  5,3,1,16,14,12,10,8,6,4,2,0,15,13,11,9,7,
			  12,10,8,6,4,2,0,15,13,11,9,7,5,3,1,16,14,
			  2,0,15,13,11,9,7,5,3,1,16,14,12,10,8,6,4,
			  9,7,5,3,1,16,14,12,10,8,6,4,2,0,15,13,11,
			  16,14,12,10,8,6,4,2,0,15,13,11,9,7,5,3,1,
			  6,4,2,0,15,13,11,9,7,5,3,1,16,14,12,10,8,
			  13,11,9,7,5,3,1,16,14,12,10,8,6,4,2,0,15,
			  3,1,16,14,12,10,8,6,4,2,0,15,13,11,9,7,5,
			  10,8,6,4,2,0,15,13,11,9,7,5,3,1,16,14,12])
]).

% f(g(f(g(x),x)),f(f(z,f(g(f(x,y)),x)),y)) = z.  % candidate 160

interpretation( 11, [

        function(M, [10]),

        function(H, [4]),

        function(K, [9]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,10,9,8,7,6,5,4,3,2,1]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,9,7,5,3,1,10,8,6,4,2,
			  4,2,0,9,7,5,3,1,10,8,6,
			  8,6,4,2,0,9,7,5,3,1,10,
			  1,10,8,6,4,2,0,9,7,5,3,
			  5,3,1,10,8,6,4,2,0,9,7,
			  9,7,5,3,1,10,8,6,4,2,0,
			  2,0,9,7,5,3,1,10,8,6,4,
			  6,4,2,0,9,7,5,3,1,10,8,
			  10,8,6,4,2,0,9,7,5,3,1,
			  3,1,10,8,6,4,2,0,9,7,5,
			  7,5,3,1,10,8,6,4,2,0,9])
]).

% f(g(f(x,g(x))),f(f(z,f(g(f(x,y)),x)),y)) = z.  % candidate 161

interpretation( 29, [

        function(M, [28]),

        function(H, [7]),

        function(K, [16]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,28,27,26,25,24,23,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,
			  1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,
			  2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,
			  3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,
			  4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,
			  5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,
			  6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,
			  7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,
			  8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,
			  9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,
			  10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,
			  11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,
			  12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,
			  13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,
			  14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,
			  15,16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
			  16,17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,
			  17,18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  18,19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,
			  19,20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,
			  20,21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,
			  21,22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,
			  22,23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,
			  23,24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,
			  24,25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,
			  25,26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,
			  26,27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,
			  27,28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,
			  28,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,
			  0,2,4,6,8,10,12,14,16,18,20,22,24,26,28,1,3,5,7,9,11,13,15,17,19,21,23,25,27,
			  0,3,6,9,12,15,18,21,24,27,1,4,7,10,13,16,19,22,25,28,2,5,8,11,14,17,20,23,26,
			  0,4,8,12,16,20,24,28,3,7,11,15,19,23,27,2,6,10,14,18,22,26,1,5,9,13,17,21,25,
			  0,5,10,15,20,25,1,6,11,16,21,26,2,7,12,17,22,27,3,8,13,18,23,28,4,9,14,19,24,
			  0,6,12,18,24,1,7,13,19,25,2,8,14,20,26,3,9,15,21,27,4,10,16,22,28,5,11,17,23,
			  0,7,14,21,28,6,13,20,27,5,12,19,26,4,11,18,25,3,10,17,24,2,9,16,23,1,8,15,22,
			  0,8,16,24,3,11,19,27,6,14,22,1,9,17,25,4,12,20,28,7,15,23,2,10,18,26,5,13,21,
			  0,9,18,27,7,16,25,5,14,23,3,12,21,1,10,19,28,8,17,26,6,15,24,4,13,22,2,11,20,
			  0,10,20,1,11,21,2,12,22,3,13,23,4,14,24,5,15,25,6,16,26,7,17,27,8,18,28,9,19,
			  0,11,22,4,15,26,8,19,1,12,23,5,16,27,9,20,2,13,24,6,17,28,10,21,3,14,25,7,18,
			  0,12,24,7,19,2,14,26,9,21,4,16,28,11,23,6,18,1,13,25,8,20,3,15,27,10,22,5,17,
			  0,13,26,10,23,7,20,4,17,1,14,27,11,24,8,21,5,18,2,15,28,12,25,9,22,6,19,3,16,
			  0,14,28,13,27,12,26,11,25,10,24,9,23,8,22,7,21,6,20,5,19,4,18,3,17,2,16,1,15,
			  0,15,1,16,2,17,3,18,4,19,5,20,6,21,7,22,8,23,9,24,10,25,11,26,12,27,13,28,14,
			  0,16,3,19,6,22,9,25,12,28,15,2,18,5,21,8,24,11,27,14,1,17,4,20,7,23,10,26,13,
			  0,17,5,22,10,27,15,3,20,8,25,13,1,18,6,23,11,28,16,4,21,9,26,14,2,19,7,24,12,
			  0,18,7,25,14,3,21,10,28,17,6,24,13,2,20,9,27,16,5,23,12,1,19,8,26,15,4,22,11,
			  0,19,9,28,18,8,27,17,7,26,16,6,25,15,5,24,14,4,23,13,3,22,12,2,21,11,1,20,10,
			  0,20,11,2,22,13,4,24,15,6,26,17,8,28,19,10,1,21,12,3,23,14,5,25,16,7,27,18,9,
			  0,21,13,5,26,18,10,2,23,15,7,28,20,12,4,25,17,9,1,22,14,6,27,19,11,3,24,16,8,
			  0,22,15,8,1,23,16,9,2,24,17,10,3,25,18,11,4,26,19,12,5,27,20,13,6,28,21,14,7,
			  0,23,17,11,5,28,22,16,10,4,27,21,15,9,3,26,20,14,8,2,25,19,13,7,1,24,18,12,6,
			  0,24,19,14,9,4,28,23,18,13,8,3,27,22,17,12,7,2,26,21,16,11,6,1,25,20,15,10,5,
			  0,25,21,17,13,9,5,1,26,22,18,14,10,6,2,27,23,19,15,11,7,3,28,24,20,16,12,8,4,
			  0,26,23,20,17,14,11,8,5,2,28,25,22,19,16,13,10,7,4,1,27,24,21,18,15,12,9,6,3,
			  0,27,25,23,21,19,17,15,13,11,9,7,5,3,1,28,26,24,22,20,18,16,14,12,10,8,6,4,2,
			  0,28,27,26,25,24,23,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,16,3,19,6,22,9,25,12,28,15,2,18,5,21,8,24,11,27,14,1,17,4,20,7,23,10,26,13,
			  7,23,10,26,13,0,16,3,19,6,22,9,25,12,28,15,2,18,5,21,8,24,11,27,14,1,17,4,20,
			  14,1,17,4,20,7,23,10,26,13,0,16,3,19,6,22,9,25,12,28,15,2,18,5,21,8,24,11,27,
			  21,8,24,11,27,14,1,17,4,20,7,23,10,26,13,0,16,3,19,6,22,9,25,12,28,15,2,18,5,
			  28,15,2,18,5,21,8,24,11,27,14,1,17,4,20,7,23,10,26,13,0,16,3,19,6,22,9,25,12,
			  6,22,9,25,12,28,15,2,18,5,21,8,24,11,27,14,1,17,4,20,7,23,10,26,13,0,16,3,19,
			  13,0,16,3,19,6,22,9,25,12,28,15,2,18,5,21,8,24,11,27,14,1,17,4,20,7,23,10,26,
			  20,7,23,10,26,13,0,16,3,19,6,22,9,25,12,28,15,2,18,5,21,8,24,11,27,14,1,17,4,
			  27,14,1,17,4,20,7,23,10,26,13,0,16,3,19,6,22,9,25,12,28,15,2,18,5,21,8,24,11,
			  5,21,8,24,11,27,14,1,17,4,20,7,23,10,26,13,0,16,3,19,6,22,9,25,12,28,15,2,18,
			  12,28,15,2,18,5,21,8,24,11,27,14,1,17,4,20,7,23,10,26,13,0,16,3,19,6,22,9,25,
			  19,6,22,9,25,12,28,15,2,18,5,21,8,24,11,27,14,1,17,4,20,7,23,10,26,13,0,16,3,
			  26,13,0,16,3,19,6,22,9,25,12,28,15,2,18,5,21,8,24,11,27,14,1,17,4,20,7,23,10,
			  4,20,7,23,10,26,13,0,16,3,19,6,22,9,25,12,28,15,2,18,5,21,8,24,11,27,14,1,17,
			  11,27,14,1,17,4,20,7,23,10,26,13,0,16,3,19,6,22,9,25,12,28,15,2,18,5,21,8,24,
			  18,5,21,8,24,11,27,14,1,17,4,20,7,23,10,26,13,0,16,3,19,6,22,9,25,12,28,15,2,
			  25,12,28,15,2,18,5,21,8,24,11,27,14,1,17,4,20,7,23,10,26,13,0,16,3,19,6,22,9,
			  3,19,6,22,9,25,12,28,15,2,18,5,21,8,24,11,27,14,1,17,4,20,7,23,10,26,13,0,16,
			  10,26,13,0,16,3,19,6,22,9,25,12,28,15,2,18,5,21,8,24,11,27,14,1,17,4,20,7,23,
			  17,4,20,7,23,10,26,13,0,16,3,19,6,22,9,25,12,28,15,2,18,5,21,8,24,11,27,14,1,
			  24,11,27,14,1,17,4,20,7,23,10,26,13,0,16,3,19,6,22,9,25,12,28,15,2,18,5,21,8,
			  2,18,5,21,8,24,11,27,14,1,17,4,20,7,23,10,26,13,0,16,3,19,6,22,9,25,12,28,15,
			  9,25,12,28,15,2,18,5,21,8,24,11,27,14,1,17,4,20,7,23,10,26,13,0,16,3,19,6,22,
			  16,3,19,6,22,9,25,12,28,15,2,18,5,21,8,24,11,27,14,1,17,4,20,7,23,10,26,13,0,
			  23,10,26,13,0,16,3,19,6,22,9,25,12,28,15,2,18,5,21,8,24,11,27,14,1,17,4,20,7,
			  1,17,4,20,7,23,10,26,13,0,16,3,19,6,22,9,25,12,28,15,2,18,5,21,8,24,11,27,14,
			  8,24,11,27,14,1,17,4,20,7,23,10,26,13,0,16,3,19,6,22,9,25,12,28,15,2,18,5,21,
			  15,2,18,5,21,8,24,11,27,14,1,17,4,20,7,23,10,26,13,0,16,3,19,6,22,9,25,12,28,
			  22,9,25,12,28,15,2,18,5,21,8,24,11,27,14,1,17,4,20,7,23,10,26,13,0,16,3,19,6])
]).

% g(f(f(y,g(z)),f(f(z,g(f(x,f(z,y)))),x))) = z.  % candidate 167

interpretation( 11, [

        function(M, [2]),

        function(H, [4]),

        function(K, [5]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,2,4,6,8,10,1,3,5,7,9]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,5,10,4,9,3,8,2,7,1,6,
			  4,9,3,8,2,7,1,6,0,5,10,
			  8,2,7,1,6,0,5,10,4,9,3,
			  1,6,0,5,10,4,9,3,8,2,7,
			  5,10,4,9,3,8,2,7,1,6,0,
			  9,3,8,2,7,1,6,0,5,10,4,
			  2,7,1,6,0,5,10,4,9,3,8,
			  6,0,5,10,4,9,3,8,2,7,1,
			  10,4,9,3,8,2,7,1,6,0,5,
			  3,8,2,7,1,6,0,5,10,4,9,
			  7,1,6,0,5,10,4,9,3,8,2])
]).

% f(f(y,g(z)),f(f(z,g(f(x,f(g(z),y)))),x)) = z.  % candidate 168

interpretation( 11, [

        function(M, [8]),

        function(H, [9]),

        function(K, [4]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,8,5,2,10,7,4,1,9,6,3]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,4,8,1,5,9,2,6,10,3,7,
			  9,2,6,10,3,7,0,4,8,1,5,
			  7,0,4,8,1,5,9,2,6,10,3,
			  5,9,2,6,10,3,7,0,4,8,1,
			  3,7,0,4,8,1,5,9,2,6,10,
			  1,5,9,2,6,10,3,7,0,4,8,
			  10,3,7,0,4,8,1,5,9,2,6,
			  8,1,5,9,2,6,10,3,7,0,4,
			  6,10,3,7,0,4,8,1,5,9,2,
			  4,8,1,5,9,2,6,10,3,7,0,
			  2,6,10,3,7,0,4,8,1,5,9])
]).

% g(f(g(f(y,z)),f(f(z,f(x,g(f(z,x)))),y))) = z.  % candidate 170

interpretation( 11, [

        function(M, [7]),

        function(H, [9]),

        function(K, [7]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,7,3,10,6,2,9,5,1,8,4]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,7,3,10,6,2,9,5,1,8,4,
			  9,5,1,8,4,0,7,3,10,6,2,
			  7,3,10,6,2,9,5,1,8,4,0,
			  5,1,8,4,0,7,3,10,6,2,9,
			  3,10,6,2,9,5,1,8,4,0,7,
			  1,8,4,0,7,3,10,6,2,9,5,
			  10,6,2,9,5,1,8,4,0,7,3,
			  8,4,0,7,3,10,6,2,9,5,1,
			  6,2,9,5,1,8,4,0,7,3,10,
			  4,0,7,3,10,6,2,9,5,1,8,
			  2,9,5,1,8,4,0,7,3,10,6])
]).

% f(g(f(y,g(z))),f(f(z,f(x,g(f(z,x)))),y)) = z.  % candidate 171

interpretation( 11, [

        function(M, [2]),

        function(H, [3]),

        function(K, [9]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,2,4,6,8,10,1,3,5,7,9]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,9,7,5,3,1,10,8,6,4,2,
			  3,1,10,8,6,4,2,0,9,7,5,
			  6,4,2,0,9,7,5,3,1,10,8,
			  9,7,5,3,1,10,8,6,4,2,0,
			  1,10,8,6,4,2,0,9,7,5,3,
			  4,2,0,9,7,5,3,1,10,8,6,
			  7,5,3,1,10,8,6,4,2,0,9,
			  10,8,6,4,2,0,9,7,5,3,1,
			  2,0,9,7,5,3,1,10,8,6,4,
			  5,3,1,10,8,6,4,2,0,9,7,
			  8,6,4,2,0,9,7,5,3,1,10])
]).

% f(f(y,x),g(f(f(z,g(f(g(y),f(z,z)))),x))) = z.  % candidate 173

interpretation( 11, [

        function(M, [2]),

        function(H, [7]),

        function(K, [2]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,2,4,6,8,10,1,3,5,7,9]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,2,4,6,8,10,1,3,5,7,9,
			  7,9,0,2,4,6,8,10,1,3,5,
			  3,5,7,9,0,2,4,6,8,10,1,
			  10,1,3,5,7,9,0,2,4,6,8,
			  6,8,10,1,3,5,7,9,0,2,4,
			  2,4,6,8,10,1,3,5,7,9,0,
			  9,0,2,4,6,8,10,1,3,5,7,
			  5,7,9,0,2,4,6,8,10,1,3,
			  1,3,5,7,9,0,2,4,6,8,10,
			  8,10,1,3,5,7,9,0,2,4,6,
			  4,6,8,10,1,3,5,7,9,0,2])
]).

% g(f(f(g(y),y),f(f(x,g(f(x,f(z,x)))),x))) = z.  % candidate 179

interpretation( 11, [

        function(M, [1]),

        function(H, [2]),

        function(K, [9]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,1,2,3,4,5,6,7,8,9,10]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,
			  1,2,3,4,5,6,7,8,9,10,0,
			  2,3,4,5,6,7,8,9,10,0,1,
			  3,4,5,6,7,8,9,10,0,1,2,
			  4,5,6,7,8,9,10,0,1,2,3,
			  5,6,7,8,9,10,0,1,2,3,4,
			  6,7,8,9,10,0,1,2,3,4,5,
			  7,8,9,10,0,1,2,3,4,5,6,
			  8,9,10,0,1,2,3,4,5,6,7,
			  9,10,0,1,2,3,4,5,6,7,8,
			  10,0,1,2,3,4,5,6,7,8,9]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,
			  0,1,2,3,4,5,6,7,8,9,10,
			  0,2,4,6,8,10,1,3,5,7,9,
			  0,3,6,9,1,4,7,10,2,5,8,
			  0,4,8,1,5,9,2,6,10,3,7,
			  0,5,10,4,9,3,8,2,7,1,6,
			  0,6,1,7,2,8,3,9,4,10,5,
			  0,7,3,10,6,2,9,5,1,8,4,
			  0,8,5,2,10,7,4,1,9,6,3,
			  0,9,7,5,3,1,10,8,6,4,2,
			  0,10,9,8,7,6,5,4,3,2,1]),

        function(f(_,_), [0,9,7,5,3,1,10,8,6,4,2,
			  2,0,9,7,5,3,1,10,8,6,4,
			  4,2,0,9,7,5,3,1,10,8,6,
			  6,4,2,0,9,7,5,3,1,10,8,
			  8,6,4,2,0,9,7,5,3,1,10,
			  10,8,6,4,2,0,9,7,5,3,1,
			  1,10,8,6,4,2,0,9,7,5,3,
			  3,1,10,8,6,4,2,0,9,7,5,
			  5,3,1,10,8,6,4,2,0,9,7,
			  7,5,3,1,10,8,6,4,2,0,9,
			  9,7,5,3,1,10,8,6,4,2,0])
]).

% g(f(f(y,x),g(f(f(z,f(g(x),f(x,y))),x)))) = z.  % candidate 185

interpretation( 17, [

        function(M, [3]),

        function(H, [14]),

        function(K, [4]),

        function(X, [0]),

        function(Y, [0]),

        function(Z, [1]),

        function(g(_), [0,3,6,9,12,15,1,4,7,10,13,16,2,5,8,11,14]),

        function(+(_,_), [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,
			  1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,
			  2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,
			  3,4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,
			  4,5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,
			  5,6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,
			  6,7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,
			  7,8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,
			  8,9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,
			  9,10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,
			  10,11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,
			  11,12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,
			  12,13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,
			  13,14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,
			  14,15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,
			  15,16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,
			  16,0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15]),

        function(*(_,_), [0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0