用n+1去模，mod4 输出n+1，mod2 输出2n+1 else 输出4n+1。感觉这样读起来更明确。就是每次步数是偶数还是4倍数，只是偶数，其他三种情况。