interpretation( 7, [

        function(X, [1]),

        function(Y, [2]),

        function(Z, [1]),

        function(d(_,_), [0,3,4,1,2,6,5,
			  1,0,5,3,6,4,2,
			  2,6,0,5,4,1,3,
			  3,1,6,0,5,2,4,
			  4,5,2,6,0,3,1,
			  5,2,3,4,1,0,6,
			  6,4,1,2,3,5,0])
]).