17 < 0 '&&' 9 < 1

11 < 0 '&&' 1 < 1

-1 < 0 '&&' 1 < 1

16 < 0 '&&' 7 < 1

-1 < 0 '&&' 7 < 1

3 < 0 '&&' 1 < 1

2 < 0 '&&' 7 < 1

16 < 0 '&&' 7 < 1

11 < 0 '&&' 1 < 1

-1 < 0 '&&' 1 < 1