sources/0312_cmp_le3.c:3.11-21: bottom
Output: [ x in [30;55], y in [10;20] ]