size 7

initial:
(0,0)=5
(0,6)=6
(1,1)=6
(2,5)=6
(3,3)=1
(5,1)=1
(6,3)=6

constraints:
(1,0)>(1,1)
(1,2)>(1,3)
(1,3)>(1,4)
(2,1)<(2,2)
(4,0)<(4,1)
(4,1)<(4,2)
(6,4)<(6,5)
(1,3)>(0,3)
(1,4)>(0,4)
(3,4)>(2,4)
(4,0)>(3,0)
(3,2)>(4,2)
(4,6)>(5,6)
(6,4)>(5,4)
(5,5)>(6,5)