# t19 # C4B: 50 + |[-1,i]| + |[0,k]| # eocimp: [-100 + i | -100 + i ≥ 0] + [51 + i + k | 51 + i + k ≥ 0] def startT19(): var i, k while i > 100: tick 1 i = i - 1 i = i + k + 50 while i >= 0: tick 1 i = i - 1