DUMPING STATE at "domains.i", line 52, characters 3-40
# cvalue:
nondet ∈ [--..--]
a ∈ {8}
i ∈ [1..99]
j ∈ [10..210]
k ∈ [2..100]
r ∈ {1}
t[0..63] ∈ [--..--] or UNINITIALIZED
 [64] ∈ [--..--]
 [65..99] ∈ [--..--] or UNINITIALIZED
b1 ∈ {0; 1}
b2 ∈ {0; 1}
scalar ∈ UNINITIALIZED
# symbolic-locations:
V: {[ t[i] -> [-2147483648..2147483647]
      t[i] / i -> [-2147483648..2147483647]
      i - j -> [-209..89]
      t[k - 1] -> [-2147483648..2147483647] ]}
Z: {[ t[i] -> i; t[1..99]
      t[i] / i -> i; t[1..99]
      i - j -> i; j
      t[k - 1] -> k; t[1..99] ]}
I: {[ i -> {t[i], t[i] / i, i - j}
      j -> {i - j}
      k -> {t[k - 1]}
      t -> {t[i], t[i] / i, t[k - 1]} ]}
S: {[ i -> {t[i], t[i] / i, i - j}
      j -> {i - j}
      k -> {t[k - 1]}
      t -> {t[i], t[i] / i, t[k - 1]} ]}
# equality:
{k = ((i - j) + 1) + j}
# octagon:
{[ i + j ∈ [11..309]
   j + k ∈ [12..310]
   j - k ∈ [-90..208]
    ]}
# gauges:
V: [{[ a -> {8}
       i -> [-2147483648..2147483647]
       j -> [10..210]
       k -> [-2147483847..2147483848]
       r -> {1}
       b1 -> {0; 1}
       b2 -> {0; 1} ]}]

# multidim:
({[ a -> ({8}, {})
    i -> ([1..99], {t})
    j -> ([10..210], {})
    k -> ([2..100], {t})
    r -> ({1}, {})
    t -> ({
            [0 .. k - 2] = [-2147483648..2147483647],
            [k - 1] = [-2147483648..2147483647],
            [k .. 99] = [-2147483648..2147483647]
          },
            {})
    b1 -> ({0; 1}, {})
    b2 -> ({0; 1}, {})
    scalar -> (UNINITIALIZED, {}) ]},
   None)
# bitwise:
a[bits 0 to 2] ∈ {0}
 [bits 3 to 3] ∈ {1}
 [bits 4 to 31] ∈ {0}
# sign:
{[ a -> +
   i -> +
   j -> +
   r -> 0+ ]}
