19 < 0 '&&' 9 < 1

8 < 0 '&&' 1 < 1

1 < 0 '&&' 1 < 1

14 < 0 '&&' 7 < 1

1 < 0 '&&' 7 < 1

5 < 0 '&&' 1 < 1

1 < 0 '&&' 7 < 1

19 < 0 '&&' 9 < 1

8 < 0 '&&' 1 < 1

1 < 0 '&&' 1 < 1