def rect_to_coords(rect):
    """Converts a rect in the [x1, y1, x2, y2] format to coordinates."""
    return [[rect[0], rect[1]], [rect[2], rect[1]], [rect[2], rect[3]], [
        rect[0], rect[3]]]
