0201_cmp_le.c:6.13-25: [ x in [10;17], y in [10;17] ]
