relation(from(I), to(I1), constraint([I < 10, I1>=I+1]), space(int), dump('result.txt')).