interpretation(16, [
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,14,15,12,13]),
    function(^(_,_), [
         0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
         0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,
         0, 2, 2, 0, 7, 5, 5, 7,11, 9, 9,11,12,12,15,15,
         0, 3, 0, 3, 3, 0, 3, 0, 3, 0, 3, 0, 0, 3, 3, 0,
         0, 4, 7, 3, 4, 0, 3, 7,14, 9,10,15, 9,10,14,15,
         0, 5, 5, 0, 0, 5, 5, 0, 5, 0, 0, 5, 5, 5, 0, 0,
         0, 6, 5, 3, 3, 5, 6, 0, 6, 0, 3, 5, 5, 6, 3, 0,
         0, 7, 7, 0, 7, 0, 0, 7,15, 9, 9,15, 9, 9,15,15,
         0, 8,11, 3,14, 5, 6,15, 8, 0, 3,11, 5, 6,14,15,
         0, 9, 9, 0, 9, 0, 0, 9, 0, 9, 9, 0, 9, 9, 0, 0,
         0,10, 9, 3,10, 0, 3, 9, 3, 9,10, 0, 9,10, 3, 0,
         0,11,11, 0,15, 5, 5,15,11, 0, 0,11, 5, 5,15,15,
         0,12,12, 0, 9, 5, 5, 9, 5, 9, 9, 5,12,12, 0, 0,
         0,13,12, 3,10, 5, 6, 9, 6, 9,10, 5,12,13, 3, 0,
         0,14,15, 3,14, 0, 3,15,14, 0, 3,15, 0, 3,14,15,
         0,15,15, 0,15, 0, 0,15,15, 0, 0,15, 0, 0,15,15]),
    function(v(_,_), [
         0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,
         1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         2, 1, 2, 1, 1, 2, 1, 2, 1, 2, 1, 2, 2, 1, 1, 2,
         3, 1, 1, 3, 4, 6, 6, 4, 8,10,10, 8,13,13,14,14,
         4, 1, 1, 4, 4, 1, 1, 4, 1, 4, 4, 1, 1, 1, 4, 4,
         5, 1, 2, 6, 1, 5, 6, 2, 8,12,13,11,12,13, 8,11,
         6, 1, 1, 6, 1, 6, 6, 1, 8,13,13, 8,13,13, 8, 8,
         7, 1, 2, 4, 4, 2, 1, 7, 1, 7, 4, 2, 2, 1, 4, 7,
         8, 1, 1, 8, 1, 8, 8, 1, 8, 1, 1, 8, 1, 1, 8, 8,
         9, 1, 2,10, 4,12,13, 7, 1, 9,10, 2,12,13, 4, 7,
        10, 1, 1,10, 4,13,13, 4, 1,10,10, 1,13,13, 4, 4,
        11, 1, 2, 8, 1,11, 8, 2, 8, 2, 1,11, 2, 1, 8,11,
        12, 1, 2,13, 1,12,13, 2, 1,12,13, 2,12,13, 1, 2,
        13, 1, 1,13, 1,13,13, 1, 1,13,13, 1,13,13, 1, 1,
        14, 1, 1,14, 4, 8, 8, 4, 8, 4, 4, 8, 1, 1,14,14,
        15, 1, 2,14, 4,11, 8, 7, 8, 7, 4,11, 2, 1,14,15]),
    function(f(_,_), [
         1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         1, 0, 3, 2, 5, 4, 7, 6, 9, 8,11,10,14,15,12,13,
         1, 3, 3, 1, 6, 4, 4, 6,10, 8, 8,10,14,14,13,13,
         1, 2, 1, 2, 2, 1, 2, 1, 2, 1, 2, 1, 1, 2, 2, 1,
         1, 5, 6, 2, 5, 1, 2, 6,12, 8,11,13, 8,11,12,13,
         1, 4, 4, 1, 1, 4, 4, 1, 4, 1, 1, 4, 4, 4, 1, 1,
         1, 7, 4, 2, 2, 4, 7, 1, 7, 1, 2, 4, 4, 7, 2, 1,
         1, 6, 6, 1, 6, 1, 1, 6,13, 8, 8,13, 8, 8,13,13,
         1, 9,10, 2,12, 4, 7,13, 9, 1, 2,10, 4, 7,12,13,
         1, 8, 8, 1, 8, 1, 1, 8, 1, 8, 8, 1, 8, 8, 1, 1,
         1,11, 8, 2,11, 1, 2, 8, 2, 8,11, 1, 8,11, 2, 1,
         1,10,10, 1,13, 4, 4,13,10, 1, 1,10, 4, 4,13,13,
         1,14,14, 1, 8, 4, 4, 8, 4, 8, 8, 4,14,14, 1, 1,
         1,15,14, 2,11, 4, 7, 8, 7, 8,11, 4,14,15, 2, 1,
         1,12,13, 2,12, 1, 2,13,12, 1, 2,13, 1, 2,12,13,
         1,13,13, 1,13, 1, 1,13,13, 1, 1,13, 1, 1,13,13])]).
% isofilter: input=49, kept=1, checks=48, perms=6129, 0.69 seconds.