133 - 142 ( 142 ) Prev <= 11 12