n = read_line.to_i
a = read_line.split.map(&.to_i)
ans = 0i64
lo = 0
while lo < n
  hi = lo + 1
  while hi < n && a[hi] - a[lo] == hi - lo
    hi += 1
  end
  len = (hi - lo).to_i64
  ans += len * (len - 1) // 2
  lo = hi
end
puts ans