inf(p(0,0), p(2,1)).
inf(p(2,0), p(0,1)).
inf(p(2,0), p(1,1)).
inf(p(2,0), p(2,1)).
inf(p(2,0), p(0,2)).
inf(p(2,0), p(1,2)).
inf(p(2,0), p(2,2)).
inf(p(2,0), p(0,3)).
inf(p(2,0), p(1,3)).
inf(p(2,0), p(2,3)).
inf(p(2,0), p(0,4)).
inf(p(2,0), p(1,4)).
inf(p(2,0), p(2,4)).
inf(p(2,0), p(0,5)).
inf(p(2,0), p(1,5)).
inf(p(2,0), p(2,5)).
inf(p(2,0), p(0,6)).
inf(p(2,0), p(1,6)).
inf(p(2,0), p(2,6)).
inf(p(2,0), p(0,7)).
inf(p(2,0), p(1,7)).
inf(p(2,0), p(2,7)).
inf(p(2,0), p(0,8)).
inf(p(2,0), p(1,8)).
inf(p(2,0), p(2,8)).
inf(p(2,0), p(0,9)).
inf(p(2,0), p(1,9)).
inf(p(2,0), p(2,9)).