interpretation(3, [
    function(f(_,_), [
        2,1,0,
        1,1,0,
        0,0,0])]).

interpretation(3, [
    function(f(_,_), [
        0,1,2,
        2,0,1,
        1,2,0])]).

interpretation(3, [
    function(f(_,_), [
        0,2,1,
        1,0,2,
        2,1,0])]).

interpretation(3, [
    function(f(_,_), [
        1,0,1,
        2,2,1,
        2,0,0])]).

interpretation(3, [
    function(f(_,_), [
        1,2,2,
        0,2,0,
        1,1,0])]).

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

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

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

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

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

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

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

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

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

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

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

interpretation(6, [
    function(f(_,_), [
        5,4,3,2,1,0,
        4,4,3,2,0,0,
        3,3,3,0,1,0,
        2,2,0,2,1,0,
        1,0,1,1,1,0,
        0,0,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(7, [
    function(f(_,_), [
        0,2,1,4,3,6,5,
        3,5,4,0,2,1,6,
        4,3,6,1,0,5,2,
        5,1,3,2,6,0,4,
        6,4,2,5,1,3,0,
        2,6,0,3,5,4,1,
        1,0,5,6,4,2,3])]).

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

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

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

interpretation(18, [
    function(f(_,_), [
         3, 3, 3, 6, 6, 6, 3, 6, 3, 6, 6, 6, 6, 6, 6, 6, 3, 6,
         3, 4,10, 8, 6, 6, 4, 6, 3, 8,14,10,10, 6,10,14, 3, 6,
         3,10, 5,16, 6, 6, 5, 6, 3, 6,12,10,10,12,10, 6, 3,16,
         6, 8,16, 0, 1, 2, 0, 6, 1, 8, 1, 6, 2, 6, 1, 6, 2,16,
         6, 6, 6, 1, 1, 6, 1, 6, 1, 6, 1, 6, 6, 6, 1, 6, 6, 6,
         6, 6, 6, 2, 6, 2, 2, 6, 6, 6, 2, 6, 2, 6, 6, 6, 2, 6,
         3, 4, 5, 0, 1, 2, 7, 6, 9, 8,11,10,13,12,15,14,17,16,
         6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,
         3, 3, 3, 1, 1, 6, 9, 6, 9, 6, 1, 6, 6, 6, 1, 6, 3, 6,
         6, 8, 6, 8, 6, 6, 8, 6, 6, 8, 6, 6, 6, 6, 6, 6, 6, 6,
         6,14,12, 1, 1, 2,11, 6, 1, 6,11, 6, 2,12, 1,14, 2, 6,
         6,10,10, 6, 6, 6,10, 6, 6, 6, 6,10,10, 6,10, 6, 6, 6,
         6,10,10, 2, 6, 2,13, 6, 6, 6, 2,10,13, 6,10, 6, 2, 6,
         6, 6,12, 6, 6, 6,12, 6, 6, 6,12, 6, 6,12, 6, 6, 6, 6,
         6,10,10, 1, 1, 6,15, 6, 1, 6, 1,10,10, 6,15, 6, 6, 6,
         6,14, 6, 6, 6, 6,14, 6, 6, 6,14, 6, 6, 6, 6,14, 6, 6,
         3, 3, 3, 2, 6, 2,17, 6, 3, 6, 2, 6, 2, 6, 6, 6,17, 6,
         6, 6,16,16, 6, 6,16, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6,16])]).