# mix of conjunction and disjunction conditional loop

def f():
    var n, m
    while n > 0 and m > 0:
    	prob(1,1):
    		n = n - 1
    	else:
    		m = m - 1
    	tick 1