Output: [ i in [1000;1000], j in [2;999] ]