interpretation( 12, [

        function(A, [1]),

        function(B, [2]),

        function(C, [4]),

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

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

interpretation( 12, [

        function(A, [1]),

        function(B, [2]),

        function(C, [4]),

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

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

interpretation( 12, [

        function(A, [1]),

        function(B, [2]),

        function(C, [4]),

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

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

interpretation( 12, [

        function(A, [1]),

        function(B, [2]),

        function(C, [4]),

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

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

interpretation( 12, [

        function(A, [1]),

        function(B, [2]),

        function(C, [4]),

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

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

interpretation( 12, [

        function(A, [1]),

        function(B, [2]),

        function(C, [4]),

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

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

interpretation( 12, [

        function(A, [1]),

        function(B, [2]),

        function(C, [4]),

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

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

interpretation( 12, [

        function(A, [1]),

        function(B, [2]),

        function(C, [4]),

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

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

interpretation( 12, [

        function(A, [1]),

        function(B, [2]),

        function(C, [4]),

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

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

interpretation( 12, [

        function(A, [1]),

        function(B, [2]),

        function(C, [4]),

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

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

interpretation( 12, [

        function(A, [1]),

        function(B, [2]),

        function(C, [6]),

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

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

interpretation( 12, [

        function(A, [1]),

        function(B, [2]),

        function(C, [6]),

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

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

interpretation( 12, [

        function(A, [1]),

        function(B, [2]),

        function(C, [6]),

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

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

interpretation( 12, [

        function(A, [1]),

        function(B, [2]),

        function(C, [6]),

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

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

interpretation( 12, [

        function(A, [1]),

        function(B, [3]),

        function(C, [6]),

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

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

interpretation( 12, [

        function(A, [1]),

        function(B, [3]),

        function(C, [6]),

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

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