if n0,n_1 have the same parity (both odd or both even), then winner is: max{n0,n1}

else, if n0,n_1 have different parity, then the winner is: min{n0,n1}