# t11 # C4B: |[x,n]| + |[y,m]| ticks # eocimp: [m + -y | m + -y ≥ 0] + [n + -x | n + -x ≥ 0] def startT11(): var x, y, m, n while n > x: tick 1 if m > y: y = y + 1 else: x = x + 1