interpretation(20, [
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12,15,14,17,16,19,18]),
    function(^(_,_), [
         0, 0, 0, 0, 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,16,17,18,19,
         0, 2, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
         0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
         0, 4, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
         0, 5, 0, 0, 0, 5, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
         0, 6, 0, 0, 0, 0, 6, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
         0, 7, 0, 0, 0, 0, 0, 7, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
         0, 8, 0, 0, 0, 0, 0, 0, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
         0, 9, 0, 0, 0, 0, 0, 0, 0, 9, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
         0,10, 0, 0, 0, 0, 0, 0, 0, 0,10, 0, 0, 0, 0, 0, 0, 0, 0, 0,
         0,11, 0, 0, 0, 0, 0, 0, 0, 0, 0,11, 0, 0, 0, 0, 0, 0, 0, 0,
         0,12, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,12, 0, 0, 0, 0, 0, 0, 0,
         0,13, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,13, 0, 0, 0, 0, 0, 0,
         0,14, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,14, 0, 0, 0, 0, 0,
         0,15, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,15, 0, 0, 0, 0,
         0,16, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,16, 0, 0, 0,
         0,17, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,17, 0, 0,
         0,18, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,18, 0,
         0,19, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,19]),
    function(v(_,_), [
         0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19,
         1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         3, 1, 1, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         5, 1, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         7, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         8, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         9, 1, 1, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
        10, 1, 1, 1, 1, 1, 1, 1, 1, 1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1,
        11, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,11, 1, 1, 1, 1, 1, 1, 1, 1,
        12, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,12, 1, 1, 1, 1, 1, 1, 1,
        13, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,13, 1, 1, 1, 1, 1, 1,
        14, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,14, 1, 1, 1, 1, 1,
        15, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,15, 1, 1, 1, 1,
        16, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,16, 1, 1, 1,
        17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17, 1, 1,
        18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18, 1,
        19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,19]),
    function(f(_,_), [
         1, 1, 1, 1, 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,13,12,15,14,17,16,19,18,
         1, 3, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         1, 5, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         1, 4, 1, 1, 1, 4, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         1, 7, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         1, 6, 1, 1, 1, 1, 1, 6, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         1, 9, 1, 1, 1, 1, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         1, 8, 1, 1, 1, 1, 1, 1, 1, 8, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         1,11, 1, 1, 1, 1, 1, 1, 1, 1,11, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         1,10, 1, 1, 1, 1, 1, 1, 1, 1, 1,10, 1, 1, 1, 1, 1, 1, 1, 1,
         1,13, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,13, 1, 1, 1, 1, 1, 1, 1,
         1,12, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,12, 1, 1, 1, 1, 1, 1,
         1,15, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,15, 1, 1, 1, 1, 1,
         1,14, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,14, 1, 1, 1, 1,
         1,17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17, 1, 1, 1,
         1,16, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,16, 1, 1,
         1,19, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,19, 1,
         1,18, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,18])]).
interpretation(20, [
    function(c(_), [1,0,3,2,5,4,7,6,9,8,11,10,13,12,15,14,17,16,19,18]),
    function(^(_,_), [
         0, 0, 0, 0, 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,16,17,18,19,
         0, 2, 2, 0, 0, 6, 6, 8, 8, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6,
         0, 3, 0, 3, 0, 0, 0, 3, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
         0, 4, 0, 0, 4, 0, 0, 4, 0, 0, 0, 4, 0, 0, 0, 0, 0, 0, 0, 0,
         0, 5, 6, 0, 0, 5, 6,10, 0, 6,10, 6, 0, 6, 0, 6, 0, 6, 0, 6,
         0, 6, 6, 0, 0, 6, 6, 0, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6,
         0, 7, 8, 3, 4,10, 0, 7, 8, 3,10, 4,12,14,14,12,16,18,18,16,
         0, 8, 8, 0, 0, 0, 0, 8, 8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
         0, 9, 6, 3, 0, 6, 6, 3, 0, 9, 0, 6, 0, 6, 0, 6, 0, 6, 0, 6,
         0,10, 0, 0, 0,10, 0,10, 0, 0,10, 0, 0, 0, 0, 0, 0, 0, 0, 0,
         0,11, 6, 0, 4, 6, 6, 4, 0, 6, 0,11, 0, 6, 0, 6, 0, 6, 0, 6,
         0,12, 0, 0, 0, 0, 0,12, 0, 0, 0, 0,12, 0, 0,12, 0, 0, 0, 0,
         0,13, 6, 0, 0, 6, 6,14, 0, 6, 0, 6, 0,13,14, 6, 0, 6, 0, 6,
         0,14, 0, 0, 0, 0, 0,14, 0, 0, 0, 0, 0,14,14, 0, 0, 0, 0, 0,
         0,15, 6, 0, 0, 6, 6,12, 0, 6, 0, 6,12, 6, 0,15, 0, 6, 0, 6,
         0,16, 0, 0, 0, 0, 0,16, 0, 0, 0, 0, 0, 0, 0, 0,16, 0, 0,16,
         0,17, 6, 0, 0, 6, 6,18, 0, 6, 0, 6, 0, 6, 0, 6, 0,17,18, 6,
         0,18, 0, 0, 0, 0, 0,18, 0, 0, 0, 0, 0, 0, 0, 0, 0,18,18, 0,
         0,19, 6, 0, 0, 6, 6,16, 0, 6, 0, 6, 0, 6, 0, 6,16, 6, 0,19]),
    function(v(_,_), [
         0, 1, 2, 3, 4, 5, 6, 7, 8, 9,10,11,12,13,14,15,16,17,18,19,
         1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         2, 1, 2, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         3, 1, 1, 3, 7, 1, 9, 7, 7, 9, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1,
         4, 1, 1, 7, 4, 1,11, 7, 7, 1, 7,11, 7, 1, 7, 1, 7, 1, 7, 1,
         5, 1, 1, 1, 1, 5, 5, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         6, 1, 2, 9,11, 5, 6, 1, 2, 9, 5,11,15,13,13,15,19,17,17,19,
         7, 1, 1, 7, 7, 1, 1, 7, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1,
         8, 1, 2, 7, 7, 1, 2, 7, 8, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1,
         9, 1, 1, 9, 1, 1, 9, 1, 1, 9, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
        10, 1, 1, 7, 7, 5, 5, 7, 7, 1,10, 1, 7, 1, 7, 1, 7, 1, 7, 1,
        11, 1, 1, 1,11, 1,11, 1, 1, 1, 1,11, 1, 1, 1, 1, 1, 1, 1, 1,
        12, 1, 1, 7, 7, 1,15, 7, 7, 1, 7, 1,12, 1, 7,15, 7, 1, 7, 1,
        13, 1, 1, 1, 1, 1,13, 1, 1, 1, 1, 1, 1,13,13, 1, 1, 1, 1, 1,
        14, 1, 1, 7, 7, 1,13, 7, 7, 1, 7, 1, 7,13,14, 1, 7, 1, 7, 1,
        15, 1, 1, 1, 1, 1,15, 1, 1, 1, 1, 1,15, 1, 1,15, 1, 1, 1, 1,
        16, 1, 1, 7, 7, 1,19, 7, 7, 1, 7, 1, 7, 1, 7, 1,16, 1, 7,19,
        17, 1, 1, 1, 1, 1,17, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,17,17, 1,
        18, 1, 1, 7, 7, 1,17, 7, 7, 1, 7, 1, 7, 1, 7, 1, 7,17,18, 1,
        19, 1, 1, 1, 1, 1,19, 1, 1, 1, 1, 1, 1, 1, 1, 1,19, 1, 1,19]),
    function(f(_,_), [
         1, 1, 1, 1, 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,13,12,15,14,17,16,19,18,
         1, 3, 3, 1, 1, 7, 7, 9, 9, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7,
         1, 2, 1, 2, 1, 1, 1, 2, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         1, 5, 1, 1, 5, 1, 1, 5, 1, 1, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1,
         1, 4, 7, 1, 1, 4, 7,11, 1, 7,11, 7, 1, 7, 1, 7, 1, 7, 1, 7,
         1, 7, 7, 1, 1, 7, 7, 1, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7,
         1, 6, 9, 2, 5,11, 1, 6, 9, 2,11, 5,13,15,15,13,17,19,19,17,
         1, 9, 9, 1, 1, 1, 1, 9, 9, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         1, 8, 7, 2, 1, 7, 7, 2, 1, 8, 1, 7, 1, 7, 1, 7, 1, 7, 1, 7,
         1,11, 1, 1, 1,11, 1,11, 1, 1,11, 1, 1, 1, 1, 1, 1, 1, 1, 1,
         1,10, 7, 1, 5, 7, 7, 5, 1, 7, 1,10, 1, 7, 1, 7, 1, 7, 1, 7,
         1,13, 1, 1, 1, 1, 1,13, 1, 1, 1, 1,13, 1, 1,13, 1, 1, 1, 1,
         1,12, 7, 1, 1, 7, 7,15, 1, 7, 1, 7, 1,12,15, 7, 1, 7, 1, 7,
         1,15, 1, 1, 1, 1, 1,15, 1, 1, 1, 1, 1,15,15, 1, 1, 1, 1, 1,
         1,14, 7, 1, 1, 7, 7,13, 1, 7, 1, 7,13, 7, 1,14, 1, 7, 1, 7,
         1,17, 1, 1, 1, 1, 1,17, 1, 1, 1, 1, 1, 1, 1, 1,17, 1, 1,17,
         1,16, 7, 1, 1, 7, 7,19, 1, 7, 1, 7, 1, 7, 1, 7, 1,16,19, 7,
         1,19, 1, 1, 1, 1, 1,19, 1, 1, 1, 1, 1, 1, 1, 1, 1,19,19, 1,
         1,18, 7, 1, 1, 7, 7,17, 1, 7, 1, 7, 1, 7, 1, 7,17, 7, 1,18])]).
% isofilter: input=113, kept=2, checks=111, perms=2786987631, 1722.66 seconds.