Lifted. Solution Barrier

(3)

(11)

(14)

(9)

(3)

(3)

(1)

(5)

(50)

(16)

(62)

(6)

(5)

(10)

(4)

(13)

(3)

(41)

(2)

(11)

(215)

(15)

(1)

(3)

(7)

(8)

(50)

(1)

(3)

(2)

(6)

(8)

(129)

(1)

(2)

(22)

(11)

(9)

(6)

(9)

(8)

(18)

(5)

(2)

(7)

(8)

(4)

(16)

(5)

(5)

(11)

(23)

(29)

(13)

(15)

(39)

(26)

(3)

(4)

(11)

(3)

(14)

(6)

(62)

(24)

(34)

(20)

(12)

(2)

(15)

(13)

(11)

(98)

(10)

(32)

(6)

(30)

(5)