Lifted. Solution Barrier

(11)

(50)

(4)

(5)

(20)

(18)

(2)

(8)

(2)

(39)

(4)

(13)

(7)

(6)

(10)

(8)

(6)

(8)

(12)

(41)

(2)

(4)

(2)

(16)

(31)

(11)

(5)

(3)

(6)

(13)

(13)

(3)

(128)

(2)

(98)

(50)

(62)

(3)

(6)

(24)

(28)

(8)

(15)

(8)

(11)

(1)

(3)

(11)

(14)

(3)

(15)

(14)

(34)

(2)

(25)

(9)

(214)

(15)

(1)

(4)

(1)

(1)

(5)

(29)

(9)

(21)

(13)

(4)

(9)

(11)

(15)

(3)

(53)

(3)

(8)

(2)

(5)

(6)

(27)