整数数组nums原本按升序排列且元素互不相同，在预先未知的某个下标k（0 <= k < nums.length）上进行旋转，使数组变为[nums[k], nums[k+1], …, nums[n-1], nums[0], nums[1], …, nums[k-1]]。给定旋转后的数组nums和整数target，若nums中存在target则返回其下标，否则返回-1。 例如，原数组[4,5,6,7,0,1,2]经过旋转后可能变为[0,1,2,4,5,6,7]。现有实现该功能的Python二分查找程序如下，补全横线处的代码：

def search(nums, target):
    left, right = 0, len(nums) - 1

    while left <= right:
        mid = (left + right) // 2
        if nums[mid] == target:
            return True

        if nums[mid] > nums[right]:
            if nums[mid] > target or nums[left] <= target:
                right = mid - 1
            else:
                left = mid + 1

        elif nums[mid] < nums[right]:
            _______________________
        else:
            right -= 1

    return False