size 7

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

constraints:
(0,0)<(0,1)
(0,2)<(0,3)
(1,0)>(1,1)
(1,2)>(1,3)
(1,3)>(1,4)
(1,2)>(0,2)
(1,6)<(0,6)
(2,1)<(2,2)
(2,4)<(2,5)
(2,2)<(1,2)
(3,0)<(3,1)
(3,3)<(3,4)
(4,0)<(4,1)
(4,1)<(4,2)
(4,6)<(3,6)
(5,1)<(5,2)
(5,5)>(5,6)
(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)
(6,6)>(5,6)
(5,3)>(5,4)
(6,0)<(6,1)
(6,1)>(6,2)