.................................
.................................
s_abc_in(1450) <= s_abc_out(324); # this is my first match
s_abc_in(1451 <= s_abc_out(1450);
.................................