Rule1 PreLift

(1)

(8)

(2)

(6)

(16)

(32)

(21)

(6)

(1)

(4)

(9)

(67)

(86)

(18)

(45)

(48)

(107)

(11)

(3)

(7)

(14)

(11)

(8)

(90)

(23)

(227)

(2)

(2)

(89)

(126)

(1)

(59)

(18)

(21)

(33)

(10)

(15)

(8)

(6)

(7)

(13)

(12)

(6)

(7)

(6)

(3)

(5)

(5)

(2)

(2)

(3)

(4)

(1)

(2)