# t28
# C4B:    |[x,0]| + |[0,y]| + 1000|[y,x]|
# eocimp: [x + -y | x + -y ≥ 0] + 1000·[x + -y | x + -y ≥ 0] + [y | y ≥ 0] + 1/2 + 1/2·[x^2 | -x ≥ 0]

def startT28():
  var x,y

  while x > y:
    tick 1
    x = x - 1
    x = x + 1000
    y = y + 1000

  while y > 0:
    tick 1
    y = y - 1

  while x < 0:
    tick 1
    x = x + 1