19 < 0 '&&' 9 < 1

8 < 0 '&&' 1 < 1

1 < 0 '&&' 1 < 1

13 < 0 '&&' 7 < 1

1 < 0 '&&' 7 < 1

5 < 0 '&&' 1 < 1

1 < 0 '&&' 7 < 1

1 < 0 '&&' 7 < 1

8 < 0 '&&' 1 < 1

1 < 0 '&&' 1 < 1