interpretation( 3, [

        function(*(_,_), [0,1,2,
			  1,2,0,
			  2,0,1]),

        function(/(_,_), [0,2,1,
			  1,0,2,
			  2,1,0]),

        function(\(_,_), [0,1,2,
			  2,0,1,
			  1,2,0])
]).

interpretation( 3, [

        function(*(_,_), [0,1,2,
			  2,0,1,
			  1,2,0]),

        function(/(_,_), [0,1,2,
			  2,0,1,
			  1,2,0]),

        function(\(_,_), [0,1,2,
			  1,2,0,
			  2,0,1])
]).

interpretation( 3, [

        function(*(_,_), [0,2,1,
			  1,0,2,
			  2,1,0]),

        function(/(_,_), [0,1,2,
			  1,2,0,
			  2,0,1]),

        function(\(_,_), [0,2,1,
			  1,0,2,
			  2,1,0])
]).

interpretation( 3, [

        function(*(_,_), [0,2,1,
			  2,1,0,
			  1,0,2]),

        function(/(_,_), [0,2,1,
			  2,1,0,
			  1,0,2]),

        function(\(_,_), [0,2,1,
			  2,1,0,
			  1,0,2])
]).

interpretation( 3, [

        function(*(_,_), [1,0,2,
			  0,2,1,
			  2,1,0]),

        function(/(_,_), [1,0,2,
			  0,2,1,
			  2,1,0]),

        function(\(_,_), [1,0,2,
			  0,2,1,
			  2,1,0])
]).

interpretation( 3, [

        function(*(_,_), [1,2,0,
			  0,1,2,
			  2,0,1]),

        function(/(_,_), [1,2,0,
			  0,1,2,
			  2,0,1]),

        function(\(_,_), [2,0,1,
			  0,1,2,
			  1,2,0])
]).

interpretation( 3, [

        function(*(_,_), [1,0,2,
			  2,1,0,
			  0,2,1]),

        function(/(_,_), [2,0,1,
			  0,1,2,
			  1,2,0]),

        function(\(_,_), [1,0,2,
			  2,1,0,
			  0,2,1])
]).

interpretation( 3, [

        function(*(_,_), [1,2,0,
			  2,0,1,
			  0,1,2]),

        function(/(_,_), [2,1,0,
			  0,2,1,
			  1,0,2]),

        function(\(_,_), [2,0,1,
			  1,2,0,
			  0,1,2])
]).