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