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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
interpretation( 6, [number = 1,seconds = 0], [
    function(^(_,_), [
        0,4,4,4,4,0,
        4,1,4,4,4,1,
        4,4,2,4,4,2,
        4,4,4,3,4,3,
        4,4,4,4,4,4,
        0,1,2,3,4,5]),
    function(v(_,_), [
        0,5,5,5,0,5,
        5,1,5,5,1,5,
        5,5,2,5,2,5,
        5,5,5,3,3,5,
        0,1,2,3,4,5,
        5,5,5,5,5,5])]).
% isofilter check ^ v output ^ v: input=3, kept=1, checks=2, perms=2, 0.00 seconds.