(LT, 0.166666666, 7)
(LT, 0.166666666, 8)
(LT, 0.166666666, 9)
(LT, 0.166666666, 10)
(LT, 0.166666666, 11)
(LT, 0.166666666, 12)