# p(1,1).

# p(?X,?X).

# p(2,f(2)).

-p(?X,?Y) | p(3,3).

#-r(1).


