# t27
# C4B:    0.01|[n,y]| + 11|[n,0]|
# eocimp: [901 + y | 901 + y ≥ 0] + -1001·[n | -n ≥ 0]

def startT27():
  var n, y

  while n < 0:
    tick 1
    n = n + 1
    y = y + 1000
    while y >= 100:
      tick 1
      y = y - 100

# variant used in the C4B paper
# def startT27():
#   var n, y, break
#
#   while n < 0:
#     tick 1
#     n = n + 1
#     y = y + 1000
#     break = 0
#     while y >= 100 and break = 0:
#       nondet:
#         break = 1
#       else:
#         tick 1
#         y = y - 100