interpretation( 6, [number=1, seconds=0], [ function(c1, [ 0 ]), function(c2, [ 2 ]), function(c3, [ 1 ]), function(f(_,_), [ 3, 3, 1, 1, 1, 1, 3, 4, 5, 0, 1, 2, 1, 5, 5, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2 ]) ]). interpretation( 6, [number=2, seconds=0], [ function(c1, [ 0 ]), function(c2, [ 2 ]), function(c3, [ 2 ]), function(f(_,_), [ 3, 3, 1, 1, 1, 1, 3, 4, 5, 0, 1, 2, 1, 5, 5, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2 ]) ]). interpretation( 6, [number=3, seconds=0], [ function(c1, [ 2 ]), function(c2, [ 0 ]), function(c3, [ 0 ]), function(f(_,_), [ 3, 3, 1, 1, 1, 1, 3, 4, 5, 0, 1, 2, 1, 5, 5, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2 ]) ]). interpretation( 6, [number=4, seconds=0], [ function(c1, [ 2 ]), function(c2, [ 0 ]), function(c3, [ 1 ]), function(f(_,_), [ 3, 3, 1, 1, 1, 1, 3, 4, 5, 0, 1, 2, 1, 5, 5, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2 ]) ]). interpretation( 6, [number=5, seconds=0], [ function(c1, [ 2 ]), function(c2, [ 3 ]), function(c3, [ 1 ]), function(f(_,_), [ 1, 1, 1, 1, 1, 1, 1, 0, 4, 5, 2, 3, 1, 4, 4, 1, 1, 1, 1, 5, 1, 5, 1, 1, 1, 2, 1, 1, 2, 1, 1, 3, 1, 1, 1, 3 ]) ]). interpretation( 6, [number=6, seconds=0], [ function(c1, [ 2 ]), function(c2, [ 3 ]), function(c3, [ 1 ]), function(f(_,_), [ 2, 2, 1, 1, 1, 1, 2, 4, 0, 5, 1, 3, 1, 0, 0, 1, 1, 1, 1, 5, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 3 ]) ]). interpretation( 6, [number=7, seconds=0], [ function(c1, [ 2 ]), function(c2, [ 3 ]), function(c3, [ 1 ]), function(f(_,_), [ 3, 3, 1, 1, 1, 1, 3, 4, 5, 0, 1, 2, 1, 5, 5, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2 ]) ]). interpretation( 6, [number=8, seconds=0], [ function(c1, [ 2 ]), function(c2, [ 3 ]), function(c3, [ 3 ]), function(f(_,_), [ 1, 1, 1, 1, 1, 1, 1, 0, 4, 5, 2, 3, 1, 4, 4, 1, 1, 1, 1, 5, 1, 5, 1, 1, 1, 2, 1, 1, 2, 1, 1, 3, 1, 1, 1, 3 ]) ]). interpretation( 6, [number=9, seconds=0], [ function(c1, [ 2 ]), function(c2, [ 3 ]), function(c3, [ 3 ]), function(f(_,_), [ 2, 2, 1, 1, 1, 1, 2, 4, 0, 5, 1, 3, 1, 0, 0, 1, 1, 1, 1, 5, 1, 5, 1, 1, 1, 1, 1, 1, 1, 1, 1, 3, 1, 1, 1, 3 ]) ]). interpretation( 6, [number=10, seconds=0], [ function(c1, [ 2 ]), function(c2, [ 3 ]), function(c3, [ 3 ]), function(f(_,_), [ 3, 3, 1, 1, 1, 1, 3, 4, 5, 0, 1, 2, 1, 5, 5, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2 ]) ]).