# t08
# C4B:    1.33|[y,z]| + 0.33|[0,y]|
# eocimp: [-y + z | -y + z ≥ 0] + [-2 + y | -2 + y ≥ 0] + [-y + z | -y + z ≥ 0]

def startT08():
  var y, z

  while z > y:
    tick 1
    y = y + 1

  while y > 2:
    tick 1
    y = y - 3