# speed_pldi10_ex1
# C4B:    |[0,n]| ticks
# ecoimp: 1/2·[n^2 | n ≥ 0]

def startEx1():
  var i, j, n

  i = 0
  while i < n:
    j = i + 1
    while j < n:
      nondet:
        tick 1
        j = j - 1
        n = n -1
      j = j + 1
    i = i + 1