symbolic n(1);
{ [i] -> [j] : 1 <= i  <= j <= 100 && n(i) != n(j)};