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