size 7

initial:
(0,1)=7
(2,3)=7
(4,4)=7
(6,0)=2

constraints:
(0,0)<(0,1)
(0,3)>(0,4)

(1,0)>(1,1)
(1,2)>(1,3)
(1,5)>(1,6)

(2,0)<(2,1)
(2,3)>(2,4)

(3,0)<(3,1)
(3,2)>(3,3)
(3,4)>(3,5)

(4,0)<(4,1)
(4,2)<(4,3)

(5,3)>(5,4)

(6,3)>(6,4)
