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