# t30 # C4B: |[0,x]| + |[0,y]| # eocimp: def startT30(): var x, y, t while [y >= -1] x > 0: tick 1 x = x - 1 t = x x = y y = t