Test/omega3.result

   1 { [i; j] -> [i'; j'], {i' >= 1, j >= 1, i' <= n, j <= m, i = i'} }
   2 { [i; j] -> [i'; j'],  Exists beta :
   3   {j >= 3, i' >= 1, i' <= n, j <= m, 10*beta-j = -3, i = i'} }
   4 { [i; j], {i <= n, i >= 0, j <= n, j >= 0} }
   5 { [i; j], {i <= j, i >= 0, j <= n} }
   6 { [i; j], {i >= j} Or {i <= j} }
   7 { [i; j] -> [i'; j'], {i-i' <= -1, j = j'} }