interpretation(12, [
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10]),
    function(^(_,_), [
         0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
         0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,
         0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0,
         0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0,
         0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0,
         0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0,
         0, 6, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0,
         0, 7, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0,
         0, 8, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0,
         0, 9, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0,
         0,10, 0, 0, 0, 0, 0, 0, 0, 0,10, 0,
         0,11, 0, 0, 0, 0, 0, 0, 0, 0, 0,11]),
    function(v(_,_), [
         0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,
         1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1,
         4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1,
         5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1,
         6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1,
         7, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1,
         8, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1,
         9, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1,
        10, 1, 1, 1, 1, 1, 1, 1, 1, 1,10, 1,
        11, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,11]),
    function(f(_,_), [
         1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         1, 0, 3, 2, 5, 4, 7, 6, 9, 8,11,10,
         1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1,
         1, 5, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1,
         1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1,
         1, 7, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1,
         1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1,
         1, 9, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1,
         1, 8, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1,
         1,11, 1, 1, 1, 1, 1, 1, 1, 1,11, 1,
         1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1,10])]).
interpretation(12, [
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10]),
    function(^(_,_), [
         0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
         0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,
         0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0,
         0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0,
         0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0,
         0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0,
         0, 6, 0, 0, 0, 0, 6, 0,11, 9, 9,11,
         0, 7, 0, 0, 0, 0, 0, 7, 7, 0, 7, 0,
         0, 8, 0, 0, 0, 0,11, 7, 8, 0, 7,11,
         0, 9, 0, 0, 0, 0, 9, 0, 0, 9, 9, 0,
         0,10, 0, 0, 0, 0, 9, 7, 7, 9,10, 0,
         0,11, 0, 0, 0, 0,11, 0,11, 0, 0,11]),
    function(v(_,_), [
         0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,
         1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1,
         4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1,
         5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1,
         6, 1, 1, 1, 1, 1, 6, 1, 1, 6, 1, 6,
         7, 1, 1, 1, 1, 1, 1, 7, 8,10,10, 8,
         8, 1, 1, 1, 1, 1, 1, 8, 8, 1, 1, 8,
         9, 1, 1, 1, 1, 1, 6,10, 1, 9,10, 6,
        10, 1, 1, 1, 1, 1, 1,10, 1,10,10, 1,
        11, 1, 1, 1, 1, 1, 6, 8, 8, 6, 1,11]),
    function(f(_,_), [
         1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         1, 0, 3, 2, 5, 4, 7, 6, 9, 8,11,10,
         1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1,
         1, 5, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1,
         1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1,
         1, 7, 1, 1, 1, 1, 7, 1,10, 8, 8,10,
         1, 6, 1, 1, 1, 1, 1, 6, 6, 1, 6, 1,
         1, 9, 1, 1, 1, 1,10, 6, 9, 1, 6,10,
         1, 8, 1, 1, 1, 1, 8, 1, 1, 8, 8, 1,
         1,11, 1, 1, 1, 1, 8, 6, 6, 8,11, 1,
         1,10, 1, 1, 1, 1,10, 1,10, 1, 1,10])]).
interpretation(12, [
    function(c(_), [1,0,3,2,5,4,7,6,10,11,8,9]),
    function(^(_,_), [
         0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
         0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,
         0, 2, 2, 0, 0, 7, 8, 7, 8, 0, 7, 7,
         0, 3, 0, 3, 0, 0, 3, 0, 0, 0, 3, 0,
         0, 4, 0, 0, 4, 0, 4, 0, 0, 0, 0, 4,
         0, 5, 7, 0, 0, 5, 9, 7, 0, 9, 7, 7,
         0, 6, 8, 3, 4, 9, 6, 0, 8, 9, 3, 4,
         0, 7, 7, 0, 0, 7, 0, 7, 0, 0, 7, 7,
         0, 8, 8, 0, 0, 0, 8, 0, 8, 0, 0, 0,
         0, 9, 0, 0, 0, 9, 9, 0, 0, 9, 0, 0,
         0,10, 7, 3, 0, 7, 3, 7, 0, 0,10, 7,
         0,11, 7, 0, 4, 7, 4, 7, 0, 0, 7,11]),
    function(v(_,_), [
         0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,
         1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         2, 1, 2, 1, 1, 1, 1, 2, 2, 1, 1, 1,
         3, 1, 1, 3, 6, 1, 6,10, 6, 6,10, 1,
         4, 1, 1, 6, 4, 1, 6,11, 6, 6, 1,11,
         5, 1, 1, 1, 1, 5, 1, 5, 1, 5, 1, 1,
         6, 1, 1, 6, 6, 1, 6, 1, 6, 6, 1, 1,
         7, 1, 2,10,11, 5, 1, 7, 2, 5,10,11,
         8, 1, 2, 6, 6, 1, 6, 2, 8, 6, 1, 1,
         9, 1, 1, 6, 6, 5, 6, 5, 6, 9, 1, 1,
        10, 1, 1,10, 1, 1, 1,10, 1, 1,10, 1,
        11, 1, 1, 1,11, 1, 1,11, 1, 1, 1,11]),
    function(f(_,_), [
         1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         1, 0, 3, 2, 5, 4, 7, 6,10,11, 8, 9,
         1, 3, 3, 1, 1, 6,10, 6,10, 1, 6, 6,
         1, 2, 1, 2, 1, 1, 2, 1, 1, 1, 2, 1,
         1, 5, 1, 1, 5, 1, 5, 1, 1, 1, 1, 5,
         1, 4, 6, 1, 1, 4,11, 6, 1,11, 6, 6,
         1, 7,10, 2, 5,11, 7, 1,10,11, 2, 5,
         1, 6, 6, 1, 1, 6, 1, 6, 1, 1, 6, 6,
         1,10,10, 1, 1, 1,10, 1,10, 1, 1, 1,
         1,11, 1, 1, 1,11,11, 1, 1,11, 1, 1,
         1, 8, 6, 2, 1, 6, 2, 6, 1, 1, 8, 6,
         1, 9, 6, 1, 5, 6, 5, 6, 1, 1, 6, 9])]).
% isofilter: input=53, kept=3, checks=50, perms=1250, 0.41 seconds.