0400_loop.c:5.4-6.4: [ x in [0;0] ]
0400_loop.c:5.4-6.4: [ x in [1;1] ]
0400_loop.c:5.4-6.4: [ x in [2;2] ]
0400_loop.c:5.4-6.4: [ x in [3;3] ]
0400_loop.c:5.4-6.4: [ x in [3;4] ]
0400_loop.c:5.4-6.4: [ x in [3;5] ]
0400_loop.c:5.4-6.4: [ x in [3;6] ]
0400_loop.c:5.4-6.4: [ x in [3;49] ]
