旋转数组是一种常见的数据结构问题，通常是指一个有序数组经过旋转后，使得所有元素逆序排列。整数 数组 nums 按升序排列，数组中的值互不相同。

在预先未知的某个下标 k（0 <= k < nums.length）上进行了旋转，使 数组变为 [nums[k], nums[k + 1],..., nums[n - 1], nums[0], nums[1],..., nums[k - 1]]（下标从 0 开始计数）。 现在给定旋转后的数组 nums 和一个整数 target，如果 nums 中存在这个目标值 target，则返回它的下标，否则返回 -1。 

下面程序中（）处应填入的程序是：例如，给定一个数组 [4,5,6,7,0,1,2]，它可能经过旋转变为 [0,1,2,4,5,6,7]。二分查 找算法搜索旋转排序数组的程序，下面横线中，应填入的一行或多行代码是（    ）

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