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