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