0211_and.c:6.24-36: [ x in [15;20], y in [35;40] ]
0211_and.c:7.9-21: [ x in [10;20], y in [30;40] ]
