~ubuntu-branches/ubuntu/intrepid/prover9-manual/intrepid

1
2
3
4
5
6
7
8
9
10
11
12
13
list(interpretations).

interpretation( 6, [number = 1,seconds = 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])]).
% isofilter ignore_constants wrap: input=10, kept=1, checks=9, perms=13, 0.00 seconds.

end_of_list.