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