Create a function pixel_flip(lst, orig_lst, budget, results, i=0) that uses recursion to generate all possible new unique images from the input orig_lst, following these rules: • The input lst is the current list being processed. Initially, this will be the same as orig_lst which is the original flattened image. • The input budget represents the number of pixels that can still be flipped. When the budget reaches 0, no more pixels can be flipped. • The input results is a list of resulting flattened images with flipped pixels. Initially, this will be an empty list. • The input i represents the index of the pixel being processed, by default set to 0, which is used to drive the recursive function towards its base case (i.e., initially starting from i=0). At termination of the function, the argument results should contain all possibilities of the input orig_lst by only flipping pixels from 0 to 1 under both the budget and the adjacency constraints. fill code at #TODO def pixel_flip(lst: list[int], orig_lst: list[int], budget: int, results: list, i: int = 0) -> None: """ Uses recursion to generate all possibilities of flipped arrays where a pixel was a 0 and there was an adjacent pixel with the value of 1. :param lst: 1D list of integers representing a flattened image . :param orig_lst: 1D list of integers representing the original flattened image. :param budget: Integer representing the number of pixels that can be flipped . :param results: List of 1D lists of integers representing all possibilities of flipped arrays， initially empty. :param i: Integer representing the index of the pixel in question. :return: None. """ #TODO

Here is the code implementation for the function pixel_flip():

def pixel_flip(lst: list[int], orig_lst: list[int], budget: int, results: list, i: int = 0) -> None:
    """
    Uses recursion to generate all possibilities of flipped arrays where a pixel was a 0 and there was an adjacent pixel with the value of 1.

    :param lst: 1D list of integers representing a flattened image.
    :param orig_lst: 1D list of integers representing the original flattened image.
    :param budget: Integer representing the number of pixels that can be flipped.
    :param results: List of 1D lists of integers representing all possibilities of flipped arrays, initially empty.
    :param i: Integer representing the index of the pixel in question.
    :return: None.
    """
    # Base case: when we reach the end of the list or budget is zero
    if i == len(lst) or budget == 0:
        if lst not in results:
            results.append(lst)
        return

    # If the current pixel is 0 and there is an adjacent 1
    if lst[i] == 0 and check_adjacent(lst, i):
        # Flip the current pixel to 1
        new_lst = lst.copy()
        new_lst[i] = 1

        # Recursively call the function with the new list and reduced budget
        pixel_flip(new_lst, orig_lst, budget - 1, results, i + 1)

    # Call the function again with the original list and without flipping the current pixel
    pixel_flip(lst, orig_lst, budget, results, i + 1)


def check_adjacent(lst: list[int], i: int) -> bool:
    """
    Checks if a pixel has an adjacent 1 in the original flattened image.

    :param lst: 1D list of integers representing a flattened image.
    :param i: Integer representing the index of the pixel in question.
    :return: True if the pixel has an adjacent 1, False otherwise.
    """
    n_rows = int(len(lst) ** 0.5)

    # Check left
    if i % n_rows != 0 and lst[i - 1] == 1:
        return True

    # Check right
    if (i + 1) % n_rows != 0 and lst[i + 1] == 1:
        return True

    # Check up
    if i >= n_rows and lst[i - n_rows] == 1:
        return True

    # Check down
    if i < len(lst) - n_rows and lst[i + n_rows] == 1:
        return True

    return False

The function `pixel_flip` takes in the list `lst`, representing the current list being processed, the original flattened image `orig_lst`, the budget of pixels that can still be flipped, the list `results` to store all possible flipped images, and the index `i` of the pixel being processed.

In each recursive call, the function first checks if the base case has been reached, which is when we have processed all pixels or the budget is zero. If so, the current `lst` is appended to `results` if it is not already in there.

If the base case has not been reached, the function then checks if the current pixel is 0 and there is an adjacent 1 in the original flattened image. If so, the function creates a new list where the current pixel is flipped to 1, and calls itself recursively with this new list and reduced budget.

Finally, the function calls itself recursively again with the original `lst` and without flipping the current pixel.

The helper function `check_adjacent` checks if a pixel has an adjacent 1 in the original flattened image.

Note that this implementation assumes that the input `lst` and `orig_lst` are both 1D lists representing a flattened image with equal length and square shape. Additionally, the input `results` should be initially an empty list.