Failure Cause：
边界条件缺失，	程序没有显式处理 k == 0 的特殊情况

会话log：
这个函数会返回一个包含数组中最大k个元素的列表，并且这些元素是按升序排列的。注意，输入参数必须满足条件，即arr不能为空，且k在0到数组长度之间。

问题描述:

def maximum(arr, k):
    """
    Given an array arr of integers and a positive integer k, return a sorted list 
    of length k with the maximum k numbers in arr.

    Example 1:

        Input: arr = [-3, -4, 5], k = 3
        Output: [-4, -3, 5]

    Example 2:

        Input: arr = [4, -4, 4], k = 2
        Output: [4, 4]

    Example 3:

        Input: arr = [-3, 2, 1, 2, -1, -2, 1], k = 1
        Output: [2]

    Note:
        1. The length of the array will be in the range of [1, 1000].
        2. The elements in the array will be in the range of [-1000, 1000].
        3. 0 <= k <= len(arr)
    """


测试用例:


import numpy as np

def is_floats(x) -> bool:
    # check if it is float; List[float]; Tuple[float]
    if isinstance(x, float):
        return True
    if isinstance(x, (list, tuple)):
        return all(isinstance(i, float) for i in x)
    if isinstance(x, np.ndarray):
        return x.dtype == np.float64 or x.dtype == np.float32
    return False


def assertion(out, exp, atol):
    exact_match = out == exp

    if atol == 0 and is_floats(exp):
        atol = 1e-6
    if not exact_match and atol != 0:
        assert np.allclose(out, exp, rtol=1e-07, atol=atol)
    else:
        assert exact_match


def check(candidate):
    inputs = [[[-3, -4, 5], 3], [[4, -4, 4], 2], [[-3, 2, 1, 2, -1, -2, 1], 1], [[123, -123, 20, 0, 1, 2, -3], 3], [[-123, 20, 0, 1, 2, -3], 4], [[5, 15, 0, 3, -13, -8, 0], 7], [[-1, 0, 2, 5, 3, -10], 2], [[1, 0, 5, -7], 1], [[4, -4], 2], [[-10, 10], 2], [[1, 2, 3, -23, 243, -400, 0], 0], [[1, 2, 3, 4, 5], 3], [[-1, -2, -3, -4, -5], 2], [[2, 2, 2, 2, 2], 3], [[0, 0, 0, 0, 0, 0], 4], [[1, 2, 3], 1], [[1], 0], [[0], 1], [[-2, 5, 10, 3, 8], 4], [[-1000, 0, 1000], 3], [[5, 2, 1], 1], [[-2, 5, 4, 10, 3, 8], 4], [[2, 2, 2, 2, 2, 2], 3], [[1, 4, 4], 1], [[1, 1], 0], [[2, 2, 2, 2, 2], 2], [[1, 2, -3, 2], 1], [[2, 2, 2, 2, 2, 2], 2], [[1, 1, 1], 0], [[2, 2, 2, 2, 2, 2], 1], [[1, 1, 1], 1], [[1, 2, 3], 2], [[-1, -3, -2, -3, -4, 10, -5], 2], [[2, 2, 2, 2, 2], 1], [[2, 3, 2, 2, 2], 1], [[1, 2, 3, 3], 1], [[2, 2, 2, 2, 2], 0], [[-1, -2, -3, -3, 10, -5], 3], [[2, 2, 8, 2, 2, 2], 2], [[0, 0, 0, 0, 0, 0, 0], 5], [[0, 0, 0, 0, 0], 4], [[1, 4, 4, 4], 1], [[-3, 1], 0], [[-3], 0], [[0, -3, 1, -3], 0], [[2, 3, 2, 2, 2], 2], [[-1, -2, -3, -4, -5, -4], 2], [[2, 3], 2], [[0, 0, 0, 0], 4], [[-3, 1], 1], [[0, 1, 4, 4], 2], [[1, 4, 4, 1], 1], [[1, 2, 2, 3, 4, 5], 3], [[0], 0], [[-4, -3, 1], 1], [[-2, 5, 4, 10, 3, 8, 3], 3], [[1], 1], [[-1, 5, 4, 4, 4], 1], [[5, 2, 1], 2], [[0, 1000, 0, 0], 4], [[2, 3, 2, 3, 2], 2], [[2, 2, 2, 2, 2, 2, 2], 5], [[1, 10, 4, 4], 1], [[2, 3, 2, 3, 2, 2], 2], [[0, 0], 0], [[0, -3, 1, -3, -3], 0], [[-2, -3, -3, 10, -5], 4], [[1, 2, -3], 1], [[1, 2, 3, 3], 0], [[-1, -2, -3, 10, -5], 3], [[0, 0, 0, 0, 0, 0, 0], 4], [[-1, -2, -3, 10, -5], 2], [[2, 2, 2, -999, 2], 0], [[1, 1], 1], [[-1000, 0, 1000], 1], [[1, 2, -3, 2, 2], 2], [[2, 0, 0, 0, 0, 0], 0], [[1, 10, 4], 1], [[2, 2, 2, 2, 2, 2, 2], 4], [[-1, -2, -3, -3, 10, 10, -5], 3], [[-3, -3], 0], [[-1, 11, -2, -3, 10, -5], 3], [[-2, -3, -4, -5], 2], [[0, 0], 1], [[1, 4], 1], [[1, 2, 2, 3, 4, 5], 4], [[-2, 5, 4, 10, 3, 8, 3, 8], 3], [[2, 2, 2, 2], 0], [[-2, 5, 4, 10, 3, 8, 3, 8, 8], 3], [[-1, -2, -3, -3, 10, 10, -5], 5], [[1, 0, 1000, 0, 0], 4], [[-1, -2, -3, 8, -5], 2], [[1, 1, 3], 1], [[-2, 5, 4, 10, 3, 8], 3], [[1, 4, 4, 4], 2], [[5, 2, 0], 2], [[2, 3, 2, 2, 2, 2], 1], [[1, 2, -3, -2], 1], [[1, 4, 4, 1], 0], [[3, 4, 5], 3], [[2, 2, 2, 2], 2], [[2, 2, 2, 2], 1], [[1, 2, 2, 3, 5, 2], 3], [[-1000, -4, 1000], 1], [[1, 1], 2], [[-3, 1, -3], 0], [[-2, -3, -3, 10, -5, -5], 4], [[-3, 1, -3, 1], 0], [[0, 0, 0, 0, 0, 1], 5], [[1, 4], 0], [[0, 0, 0, 0, 0, 0, 0, 0], 5], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 10], [[100, -100, 100, -100, 100, -100, 100, -100, 100, -100], 5], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 4], [[10, -20, 30, -40, 50, -60], 3], [[4, 2, 5, 6, 7, 4, 8, 4], 3], [[1, 2, 3, -23, 243, -400, -400, 0], 2], [[1000, -1000], 2], [[0, 0, 0, 1, -1, 1000, -1000, 1000, -1000], 7], [[1, 2, 3, -23, 243, -400, -400, 0, 243, -400], 2], [[1, 2, 3, -23, 243, -399, -400, -400, 0], 2], [[10, -20, 30, -40, 50, -60], 4], [[1, 2, 3, -23, 243, -400, -400, 0, -400], 1], [[10, -20, 30, -40, 50, -60, -60], 4], [[5, 5, 5, 4, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 4], [[1, 2, 3, -23, 243, -400, -400, 4, 0, 243, -400], 2], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 11], [[1000, -1000, -1000], 2], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 3], [[3, 0, 0, 1, -1, 1000, -1000, 1000, -1000], 7], [[1, 2, 3, -23, 243, -400, -400, 0, 1], 2], [[2, 5, 6, 7, 4, 8, 4], 3], [[10, -20, 30, -40, 50, -60], 2], [[999, -1000], 2], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5], 10], [[10, -20, 30, -40, 50, -60, -40], 3], [[11], 1], [[2, 3, -23, 243, -400, -400, 0, 1], 2], [[-1, 0], 0], [[11, 11], 1], [[1, 2, 3, -23, 243, -400, -400, 0], 3], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5], 9], [[1, 2, 3, -23, 243, -400, -400, 0], 6], [[1, 2, 3, -23, 243, -400, 0, 243, -400, -23], 2], [[10, -20, 30, -40, 50, -59], 2], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 6], [[2, 3, -23, 243, -400, -400, 0, 1], 3], [[5, 5, 5, 4, 5, 5, 5, 5, 5, 5, -5, 7, -5, -5, -5, 5], 4], [[10, -20, 30, -60, -40, 50, -60, -60], 4], [[100, -100, 100, 30, -100, 100, -100, 100, -100], 5], [[1, 2, 3, -23, 243, -400, -400, 0, 1], 8], [[10, -20, 30, -40, 50, -60, 50], 2], [[999, -1000], 1], [[10, -20, 30, -40, 50, -59, 10], 2], [[10, 30, -40, 50, -60, -40], 3], [[10, -20, 30, -40, 50, -60, 50], 3], [[1, 2, 3, -23, 243, 3, -400, -400, 0, 243, -400], 2], [[7], 1], [[1, 2, 3, 243, 3, -400, -400, 0, 243, -400, -400], 2], [[5, 5, 5, 5, 2, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5], 4], [[10, -20, 30, -40, 50, -60, -20], 4], [[-401, 0, 0, 1, -1, 1000, -1000, 1000, -1000], 7], [[1, 2, 3, -23, 243, -400, -400, 0], 0], [[11, 11], 0], [[998, 999, -1000], 1], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5, -5], 9], [[50, 1], 1], [[1, 2, 3, -23, 243, 100, -400, -400, 0, -400], 6], [[1, 2, 3, -23, 243, -400, -400, 0, -400], 0], [[1, -399, 2, 3, -23, 243, -400, -400, 0, 1, 3], 1], [[10, -20, 30, -40, 50, -60, -40], 2], [[5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 4], [[2, 5, 6, 7, 4, 8, 4], 2], [[1, 2, 3, -23, 243, -400, -400, 0, 1], 7], [[10, -100, 30, -40, 50, -60, -40], 2], [[-401, 100, 0, 1, -1, 1000, -1000, 1000, -1000], 8], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, 5], 3], [[10, -20, 30, 1000, -40, 50, -59, 10], 2], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, 5], 4], [[1000, -1000, -1000, -1000], 2], [[1, 2, 3, -23, -5, -400, -400, 0, -400], 0], [[10, -20, 30, -40, 1, -60, -40, -40], 2], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, 5, -5], 4], [[2, 3, -23, 243, -400, -400, 0, 1], 8], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 30, -5, -5, -5, -5, -5, 5], 4], [[2, 5, 6, 7, 4, 100, 8, 4], 3], [[5, 5, 5, 4, 5, 5, 5, 5, -1000, 5, 30, -5, -5, -5, -5, -5, 5], 4], [[2, -23, 243, -400, -400, 0, 1], 2], [[1, 2, 3, 243, -400, -400, 0, 243, -400], 2], [[1, 2, 3, -22, 243, -400, -400, 0], 7], [[1, 0], 1], [[10, -20, -40, 50, -60], 3], [[100, 2, 3, -23, 243, -400, 0, 243, -400, -23], 3], [[1000, -1000, -1000], 1], [[10, 30, -40, 50, -60, -1, -40], 3], [[1, 2, 3, -23, 243, -400, -400, 0, 243, -400], 3], [[10, -20, 30, -40, 50, 50], 1], [[-100, 30, -40, 50, -60, -40], 2], [[10, -20, 30, -40, 1, -59, -40, -40], 2], [[8, 1, 2, 3, -23, 243, 8, -400, 0, -400], 1], [[1, 2, 3, -23, 243, -22, -400, -400, 0, -400], 6], [[-401, -1000, -1000], 1], [[-100, 30, -40, 50, -60, -40], 1], [[-40, 30, -40, 1, -60, -40, -40], 2], [[11], 0], [[1, 2, 3, 243, 3, -400, -400, 0, 243, -400, -400], 7], [[10, -20, -40, 50, -59, 10], 2], [[10, -20, 6, 30, -40, 50, -60], 3], [[10, -20, 30, 1000, -40, 50, -59, 10], 1], [[10, -20, 30, -40, 50, -59], 3], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, 5], 8], [[999, -20, -1000], 2], [[1, 2, -20, 4, 243, -400, -400, 0, 243, -400], 2], [[10, -20, 30, -40, 30, 50, -60], 3], [[1, 2, 3, -22, 243, -400, -400, 0, 1], 6], [[10, -20, 30, -40, -59, 10], 2], [[100, -100, 100, 30, -100, 100, -100, 100, -100, 30], 5], [[1, 2, 3, -23, 243, -400, -400, 243, -400, 243], 3], [[10, -20, 6, 30, -40, 50, -60, -40], 3], [[5, 5, 5, 4, 5, 5, 5, 5, 5, 5, -5, 7, -5, -5, -5, 5], 9], [[1, 2, 3, 243, -400, -400, 0, 243, 7], 1], [[9, 0], 0], [[2, 3, -23, 243, -400, -400, 0, 1], 7], [[10, -20, 30, -40, 50, -60, 50], 4], [[10, -20, 30, -40, 50, -60, -40, -40], 3], [[5, 5, 5, 5, -22, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5, -5], 9], [[3, 0, 0, 1, -1, 1000, -1000, 1000, -1000], 6], [[-1000, -1000], 1], [[1, 2, 3, 244, 3, -400, -400, 0, 243, -400, -400], 7], [[10, -20, 30, -40, 10], 2], [[-20, 30, -40, 50, -60, -20], 4], [[-1000, 10], 1], [[9, 2, 5, 6, 6, 4, 8, 4], 1], [[1, 2, 3, -23, 243, -400, -400, 0, 243], 0], [[2, 5, 7, 4, 8, 4], 3], [[1, 2, 3, 243, -400, -400, 0, -400], 0], [[10, -20, 50, 6, 30, -40, 50, -60, -40], 3], [[1, 2, 3, 243, -400, -400, 0, 243, 7, -400], 1], [[5, 5, 5, 5, 5, 5, 5, 5, 6, 5, 5, -5, -5, -5, -5, -5, 5], 4], [[5, 5, 5, 5, 5, 2, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5], 4], [[1, 2, 3, -23, 243, -400, -400, 0, 243], 9], [[10, -20, 30, -40, 50, 10], 2], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, 5], 10], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5], 4], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 9], [[100, -401, 2, 3, -23, 243, -400, 0, 243, -400, -23], 3], [[-99, 100, -100, 100, 30, -100, 100, -100, 100, -100], 5], [[10, -20, 30, -40, 50, -61, -40], 3], [[10, -20, 30, -40, 1, -60, -40], 2], [[1, 2, 3, 1000, 243, -400, -400, 0], 7], [[1, 2, 3, -23, 243, -400, -400, 243, -400, 243], 2], [[5, 5, 5, 4, 5, 5, 5, 5, -1000, 5, 30, -5, -5, 0, -5, -5, -5, 5], 4], [[2, 5, 6, 4, 8, 4], 3], [[1, 3, -23, 243, -399, -400, -400, 0, -23], 2], [[999, -20], 2], [[10, -20, 30, -20, 50, -60, -60], 4], [[-400, 1], 1], [[1, 2, 3, -23, 30, -400, -400, 243, -400, 243], 4], [[100, 2, 5, 3, -23, 243, -400, 0, 243, -400, -23], 3], [[2, 5, 7, 4, 8, 4, 4], 3], [[1, 2, 3, -23, 243, -22, -400, 0, 0, -400], 6], [[-61, -20, 30, 1000, -40, 50, -59, 10, 30], 2], [[10, -20, 30, 50, -60, 49, -21, 50], 4], [[-19, 999, -20, -1000], 2], [[1, 2, 3, -23, 243, -400, -400, 0, 1, -400], 8], [[1, 2, 3, -23, 243, 8, -400, 0, -401], 1], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, 5], 9], [[2, 3, -22, 243, -400, -400, 0], 7], [[2, 5, 6, 7, 4, 8, 4], 4], [[1, -399, 3, -23, 243, -61, -400, 0, -400], 0], [[29, 10, 30, -20, 30, 1000, -40, 50, -59, 10], 1], [[-400, 1], 0], [[1, 2, 3, -23, 243, -400, -61, -400, 0, 1, -400], 8], [[-20, 30, -40, 50, -60, 50], 4], [[5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, 5], 3], [[-99, 10, 30, -40, 50, -60, -40], 3], [[3, 0, 0, 1, -1, 1000, -1000, 1000, -1000, -1], 8], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5], 8], [[1, 2, 3, -23, 243, 3, -400, -400, 0, 242, -400], 2], [[-21, 10, -20, 6, 30, -40, 50, -60, -40], 3], [[10, -1, -20, 30, -40, 50, -61, -40], 3], [[2, 5, 6, 7, 29, 4, 8, 4], 2], [[999, -1000, 999], 1], [[1, 2, 3, -22, 243, -400, -400, 0], 6], [[10, -21, 30, -40, 50, -60], 2], [[-1, 0], 1], [[1, 2, 3, 243, -400, -400, 0, 243, -1], 1], [[-99, 100, -100, 100, 31, 30, -100, 100, -100, 100, -100], 5], [[1, 2, 3, -23, 243, 8, -400, 0, 49], 2], [[10, -5, 50, -60, -40, -40], 3], [[10, -20, 30, -59, -40, 50, -59], 2], [[10, -20, 30, -401, -40, 50, -60, 50], 3], [[-100, 30, -40, 50, -60, -40, -100], 3], [[1, -19, 3, -23, 243, -400, -400, 0, -400], 0], [[100, 2, 5, 3, -23, 243, -400, 0, 243, -400, -23], 5], [[1, 2, 3, 243, 3, 243, -400, -400, 0, 243, -400, -400], 2], [[10, -20, 6, 100, -40, 50, -60], 3], [[999, 7], 1], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 998, -5, -5, -5, -5, -5, 5], 3], [[1, 2, 3, 999, 243, -400, -400, 0, 243, 7, -400], 1], [[1, 2, 3, -23, 30, -400, -400, 243, -400, 243], 5], [[10, -20, 30, -40, 30, 50, -60, 30, -20], 3], [[1, 2, 3, 244, 3, -400, -400, 0, 243, -400, -400, 3], 7], [[2, 6, 7, 4, 8, 4], 2], [[8, 1, 2, 3, -23, 243, 8, -400, -400], 1], [[10, -20, 30, 9, -40, 50, -60, -60], 4], [[999, -20], 1], [[999, -20, -1000], 1], [[1, 2, 3, 1000, 243, -401, -400, -400, 0, 2], 7], [[1000, 1, 2, 3, -23, 243, 8, -400, -400], 1], [[2, 3, -22, 243, -400, -400, 0], 6], [[10, -20, 30, -40, 50, 10], 1], [[0, 0, 1, -1, 1000, -1000, 1000, -1000], 7], [[1, 2, 3, 244, 3, -400, -400, 0, 243, -400, -400, 50], 7], [[-100, 30, -40, 50, -60, -40, 50], 2], [[10, -20, 30, -40, 50, -60, 50], 5], [[100, 99, -100, 100, -100, 100, -100, 100, -100, 100, -100], 5], [[999, -20, 999], 1], [[-40, 30, -40, 1, -60, -40, -40, -40], 2], [[-40, 30, -40, 1, -60, -40, -40], 7], [[100, 99, -100, 100, -100, 100, -100, 100, -100, 100, -100, -100], 5], [[2, 3, -23, 243, -400, -400, 0], 2], [[10, 30, -40, 50, -60, -40], 4], [[-401, 0, 30, 1, -1, 1000, -1000, 1000, -1000], 7], [[1, 2, -20, 4, 243, -400, -400, 0, 243, -400], 1], [[10, -20, 30, 999, -40, 50, -59, 10], 0], [[10, 30, -40, 30, 50, -60, 30, -20], 3], [[10, 9, 30, -40, 30, 50, -60, 30, -20], 3], [[-18, 1, -19, 3, -23, 243, -400, -400, 0, -400], 0], [[-401, 0, 0, 1, -1, 1000, -1000, 1000, -1000], 8], [[-401, 100, 0, 1, -1, 1000, 1000, -1000], 7], [[-100, 30, -40, 50, -60, -40, 50], 1], [[3, 0, 0, 1, -1, 1000, -1000, -1, 1000, -1000], 6], [[-401, 0, 30, 1, -1, 1000, -1000, 1000, 10, -1000], 7], [[100, 99, -100, 100, -100, 100, -100, 100, -100, 100, -100], 7], [[1, 2, 3, 243, 3, -400, -400, 0, 243, -400, 242, -400], 2], [[100, 2, 3, 6, 0, 243, -400, -23], 3], [[1, 2, 3, -23, 243, -22, -400, -400, 0, -400, -23], 6], [[5, 5, 5, 5, 2, 5, 5, 5, 5, 5, 998, -5, -5, -5, -5, -5], 5], [[0, 0, 1, -1, 1000, -1000, 1000, -1000, 0], 7], [[10, -5, 50, -60, -40, -59, -40], 3], [[1, 2, 3, -23, 243, -400, -400, 0, 243], 1], [[10, -20, 30, 1000, -40, 50, -59, 10, -40, 10, -59], 2], [[-5, 0], 1], [[5, 5, 5, 4, 5, 5, 5, 5, 5, 5, -5, 7, -5, -5, -5, 5], 5], [[-99, 100, -100, -99, 100, 31, 30, -100, 100, -100, 100, -100], 5], [[10, 243, -20, 30, -40, 50, 10], 2], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 6, 5, 6, 5, -5, -5, -5, -5, -5, 5], 4], [[0, 244, 1, -1, 1000, -1000, 1000, -1000], 7], [[1000, -1000, -1000, -1000], 1], [[10, 30, -40, 50, -60, -1, -40, -60], 3], [[1, 2, 3, -23, -5, -400, -400, 9, 0, -400], 0], [[5, 5, 5, 5, 99, 5, 5, 5, -5, -5, -5, -5, -5, 5], 4], [[9, -20, 30, -40, -59], 3], [[4, 2, 3, 5, 6, 7, 4, 8, 4], 3], [[2, 5, 6, 7, 4, 100, 8, 4], 4], [[10, -20, 30, -59, -40, 50, 242, 50], 3], [[100, 99, -100, 100, -100, 100, -100, 100, -100, 100, -100], 8], [[1, 2, 3, -23, -5, -400, 0, -400], 0], [[0, 0, 1, -1, 1000, -1000, 1000, -1000, 0, 1], 7], [[100, 1, 0, 0, 1, -1, 1000, -1000, 1000, -1000], 6], [[2, 6, 7, 4, 8, 4], 3], [[1, 2, 3, 1000, 243, -401, -400, 0, 2], 7], [[1, 2, 3, -23, 243, -400, -400, 243, 100, -400, 243], 2], [[5, 5, 5, 5, 5, 2, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5], 4], [[10, -20, 30, -40, 29, -60], 4], [[100, 99, -100, 100, -100, 100, 100, -100, 100, -100], 4], [[1, 2, 9, -23, 243, -400, -400, 243, -400, 243], 3], [[10, -20, 30, -40, 50, -59, 10], 1], [[2, 5, 6, 7, 4, 4, 8, 4], 4], [[999, 999], 1], [[2, 3, -23, 243, -400, -400, 0], 7], [[10, -20, 30, 1000, -40, 50, 243, 10], 2], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, 5, -5], 3], [[10, -20, 30, -59, -40, 50, -59, 30], 2], [[10, -20, 30, 1000, -40, 50, -59, 10], 3], [[1, 2, 3, 243, -400, -400, 0, 1, -400, 243], 0], [[100, 1, 0, 0, 1, -1, 1000, -1000, 1000, -1000], 2], [[1, 243, 2, 3, -23, 243, -400, -400, 0, 1, 3], 1], [[10, -20, 30, -40, 51, 10], 2], [[10, -20, 30, -40, 1, -59, -40, -40, 30], 2], [[5, 5, 5, 5, 5, 2, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, 6, -5], 4], [[1, 3, 999, 243, -400, -400, 0, 243, 7, -400], 1], [[4, 2, 5, 6, 7, 4, 8, 4], 4], [[1, 3, 999, 243, -400, -400, 0, 243, 998, 7, -400], 1], [[10, -20, 30, -40, 50, -60, 50, 50], 4], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -4, -5, -5, 5], 10], [[100, 2, 5, 3, -23, 243, -400, 0, 243, -400, -23], 6], [[1, 2, 3, -23, 243, -400, -61, -400, 0, -400], 8], [[100, 99, -100, 100, -100, 100, 100, -100, 100, -100], 5], [[-20], 1], [[10, 30, -40, 50, -60, -40], 5], [[30, 1, 2, 3, -23, 243, -400, -400, 0, 243, -400], 2], [[5, 5, 5, 4, 5, 5, 5, 5, -1000, 5, 30, -5, -5, -5, -5, -5, 5, 4], 4], [[-401, 101, 0, 1, -1, 1000, 1000, -1000], 7], [[1, 2, 3, 243, 3, -400, -400, 0, 242, -400], 4], [[1, 2, 3, 244, 3, -400, -400, 0, 243, -400, -400, 50], 6], [[2, 3, -23, -400, 243, -400, 0], 7], [[1, 2, 9, -23, 243, -23, -400, -400, 243, -400, 243], 4], [[10, -20, 30, -40, 1, -59, -40, -40, 30, 30], 2], [[-1000, 10, 10], 1], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 5], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 998, -5, -5, -5, -5, -5, 5, 5], 3], [[1, 2, 3, 243, -400, -400, 0, 243, 8], 1], [[10, 243, 30, -40, 50, 10], 2], [[10, 30, -40, 30, 50, -60, 30, -20], 2], [[1, 2, 3, -23, 243, -400, -400, 0, 243, 3], 1], [[10, -20, 30, 1000, -40, 50, 9, 243, 10, 30, 10], 2], [[10, 0, 30, -40, 50, -59], 2], [[2, 3, -23, 243, -400, -400, 0, 2, -23], 3], [[5, 5, 5, 5, 2, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5], 4], [[-61, -20, 30, 49, 1000, -40, 50, -59, 10, 30], 2], [[1, 2, 3, 243, -400, -400, 0, -400, 243], 1], [[5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, 5], 3], [[1, 2, 6, 7, 4, 8, 4], 3], [[10, -20, 30, 9, -21, -40, 50, -60, -60], 4], [[1, 2, 3, 244, 3, 2, -399, 0, 243, -400, -400, 50], 5], [[10, -20, 30, -40, 50, -60, -40, -40], 2], [[10, -20, 30, -59, -40, 50, 242, 50, 50], 3], [[5, 5, 5, 5, 99, 5, 5, 5, -5, -5, -5, -5, -5, 5, -5], 4], [[999, 999, -20], 2], [[10, -5, 50, -60, -40, -59, -40], 5], [[1, 2, 3, -23, 30, -400, -400, 243, 999, 243], 4], [[3, 0, 0, 1, -1, 1000, -1000, -1, 1000, -1000], 5], [[10, -20, 30, -59, 50, 242, 50], 3], [[0, -400, 0, 0, 1, -1, 1000, -1000, 1000, -1000, -1], 7], [[-5, 50, -60, -40, -40], 3], [[5, 5, 5, 5, 2, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5], 5], [[100, -100, 100, -100, 100, -100, 100, -100, 100, -100], 7], [[10, -21, 30, -40, 50, -60], 3], [[10, -40, -20, 30, 999, -40, 50, -59, 10], 1], [[10, -20, 30, -40, 50], 1], [[1000, -999, -1000, -1000], 2], [[10, -19, 30, -20, 50, -60, -60], 4], [[1000, 1, 2, 3, -23, 243, 8, -400, -400], 7], [[10, -20, 30, -40, 50, -61, -40], 2], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, 5, -5], 2], [[1, 2, 3, -22, 243, -400, -400, 1], 6], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 1, 998, -5, -5, -5, -5, -5, 5], 3], [[-20, 30, 1000, 50, 9, 243, 10, 30, -59], 2], [[1, 2, 3, -23, 243, 99, -22, -400, -400, 0, -400, -23], 6], [[10, -20, 30, -40, 50, -60], 5], [[5, 5, 5, 5, 2, 5, 5, 5, 5, 5, -5, -5, -5, 6, -5, -5, -5], 5], [[5, 5, 5, 5, 5, 5, 5, 6, 5, 5, -5, -5, -5, -5, -5, 5], 4], [[-20, 30, -40, 50, 10], 1], [[1, 2, 3, -23, 243, -400, -400, 3, 0], 6], [[-401, 101, 0, 1, -1, 1000, -1000], 7], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -6], 4], [[10, -20, -59, -40, 50, 242, 50], 3], [[999, -21], 1], [[-61, -20, 30, 49, 1000, -40, 50, -59, 10, 30], 3], [[999, -20, 998, 999], 1], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -6], 8], [[5, 2, 5, 6, 7, 4, 8, 4], 3], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 998, -5, -5, -5, -5, -5, -5, 5], 3], [[5, 5, 5, 2, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5], 4], [[10, -20, 30, -40, 50, -60, 50, 10], 3], [[10, 30, -41, 50, -60, -40], 4], [[100, -100, 100, 30, -399, -100, 100, -100, 100, -100, 30], 5], [[5, 5, 5, 5, 5, 6, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 3], [[10, -20, 30, -41, -40, 30, 50, -60], 3], [[1000, -1000, -999, 1000], 2], [[1, 2, 3, -23, 243, -400, 243, 0, 243, -400], 2], [[1, 2, 3, -23, 243, -400, 243, 0, 243, -400, -23], 2], [[-5, 0], 2], [[1, 2, 3, -23, 243, 8, -400, 0, -401], 0], [[1, 2, 3, -23, 243, 8, -400, 0, -400], 1], [[5, 2, 5, 6, 7, 4, -1, 8, 4], 3], [[10, -20, 30, -40, 1, -60, -59, -40, -40, 30], 2], [[1, 2, 3, 1000, 243, -400, -400, 0], 8], [[100, -401, 2, -23, 243, -400, 0, 243, -400, -23], 3], [[10, -5, 51, 30, -40, -59, -40], 3], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -6], 7], [[10, -40, -20, 30, 999, -40, 50, 50, 10], 1], [[2, 5, 7, 4, 8, 4, 7], 3], [[10, -5, 50, -60, -40, -59, -40], 6], [[2, 3, -23, -400, 0, 243, 3], 1], [[-400, 0], 0], [[10, -20, 30, -20, 50, -60, -60, 50], 4], [[10, -19, 30, -20, -4, -60, -60], 4], [[10, 30, -40, 50, -60, -40, -60], 2], [[10, -20, -40, 50, -60], 2], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5, -5, 5], 9], [[-1000, 10, -1000], 1], [[1, 2, 3, 999, 243, -400, -400, 0, 0, 243, 7, -400, 2], 1], [[2, 5, 7, 4, 8, 8, 4, 4], 3], [[1, 2, 3, -23, 243, -400, -400, 0, 243], 4], [[10, -40, -20, 30, 999, -40, 50, 50, 10], 0], [[10, -20, 244, 30, -40, 50, -61, -40], 3], [[1, 2, 3, 243, -400, -400, 0, 243, -1], 5], [[5, 5, 5, 5, 2, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5, -5], 4], [[10, -20, 30, -40, 29, -60, 10, 10], 4], [[3, 0, 0, -1, 1000, -1000, 1000, -1000], 7], [[5, 100, 5, 5, 2, 5, 5, 243, 5, 5, 5, -5, -5, -5, -5, -5, -5], 5], [[10, -20, 30, -40, 50, -59, 10], 0], [[1, 3, 999, 243, -400, -400, 0, 243, 244, 998, 7, -400], 1], [[10, -20, 30, -60, -40, -39, 50, -60, -60], 4], [[100, 2, 3, -23, 243, -400, 0, 243, -400, 5], 3], [[3, 0, 0, -1, 1000, -1000, 1000, -1000, 1000], 7], [[5, 5, 5, 5, 2, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5], 3], [[5, 5, 5, 5, 5, 5, 4, 5, 5, -5, -5, -5, -5, -5], 4], [[-4, 2, 3, 1000, 243, -400, -400, 0, 3], 7], [[-100, 30, -40, 50, -60, -40, -20, -100], 3], [[2, 5, 6, 7, 4, 8, 4, 2], 2], [[4], 1], [[10, -20, 30, -40, 51, 10, -40], 2], [[2, 7, 4, 8, 4], 3], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 8], [[1, 2, 3, 243, 3, -400, -400, 0, 243, -400, 242, -400, 1], 2], [[5, 5, 5, 5, 5, 5, 5, -5, 5, 5, 5, -5, -5, -5, -5, -5, -5], 6], [[10, 30, -40, 50, -60, -40], 6], [[3, 3, -23, 243, -400, -400, 0, 1], 7], [[1, 2, 3, -23, 243, 3, -400, -1, -400, 0, 243, -400], 2], [[1, 2, 3, 243, -400, -400, 243, -400], 2], [[5, 100, 5, 5, 2, 5, -4, 5, -40, 243, 5, 5, 5, -5, -5, -5, -5, -5, -5], 9], [[10, 30, -40, 50, -60, 50], 1], [[2, 5, 7, 4, 100, 8, 4], 3], [[-21, 10, -20, 30, -40, 50, -60, -40], 2], [[5, 5, 5, 5, 2, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5], 6], [[2, 3, -23, 243, -400, -400, 1], 4], [[3, 0, 0, 1, -1, 1000, -1000, 1000, -1000, -1, 1], 7], [[5, -1, 5, 5, -22, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5, -5], 8], [[1, 2, 3, -23, 243, -400, 0], 3], [[2, 5, -60, 6, 7, 4, 100, 8, 4], 3], [[10, -19, 30, -20, 100, -4, -60, -60, 10], 4], [[-1, 0, -1], 0], [[10, -5, 50, -60, -399, -40], 3], [[100, 1, 0, 1, -1, 1000, -1000, 1000, -1000], 6], [[10, -20, 244, 30, 50, -40, -40], 3], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5], 8], [[10, 30, -40, -61, 50, -60, -1, -40, -60], 3], [[10, -20, 6, 30, -40, 50, -60], 4], [[30, 1, 2, 3, -23, 243, -400, -400, 0, 29, 243, -400], 2], [[10, -20, 30, 50, -60, 49, 5, -21, 50], 4], [[5, 5, 5, 5, 5, 2, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5, 5], 4], [[10, 30, -40, 49, 50, -40, 50], 1], [[1000, -1000, -999, 1000, -999], 2], [[10, 5, 30, -40, 50, -60], 5], [[1000, -999, -1000, -1000], 1], [[10, -20, 6, 30, -40, 50, -60], 2], [[10, -40, -20, 30, -40, 10, 10], 2], [[2, 3, -23, 243, 243, -400, 0], 2], [[10, -20, 30, -40, 1, -60, -40, -40], 3], [[1, 2, 3, -22, 243, -400, -400, 1], 7], [[998, 999, -21], 1], [[5, 5, 5, 4, 5, 5, 5, 5, 5, 5, -5, 7, -5, -5, -5, 5], 6], [[1, 2, -23, 243, 3, -400, -400, 0, 243, -400, 243], 2], [[10, -5, 50, -60, -40, -40], 4], [[1000, 1, 2, 3, -23, 243, 8, -400, -400], 4], [[1, 2, 3, 243, 3, -400, -400, 0, 243, -400, -400], 3], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5, -5], 4], [[2, 3, -23, -400, -400, 0, 1], 7], [[5, -1, 5, 5, -22, 5, 5, 5, 5, -5, -4, -5, -5, -5, -5, -5], 8], [[10, -20, 30, -40, 30, 50, -60], 4], [[10, -20, 30, -40, 1, -60, -40, -40, -40], 1], [[4, -20, 30, -40, 50, -60, 50, 10], 3], [[1, 2, 3, -23, 243, -400, -400, 0], 4], [[1, 2, 3, 243, -400, -400, 0, 1, -400, 243, -400], 2], [[0, 0, 0, 0], 0], [[1, 2, 3, 243, 3, -400, -400, 0, 243, -400, -400, 3, 243], 3], [[29, 10, 30, -20, 30, 1000, -40, 50, -59, 10], 2], [[10, -20, 29, -40, -60, 50], 2], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, 5], 11], [[100, 1, 0, 0, 1, -1, 1000, -1000, 1000], 2], [[5, 5, 5, 4, 5, 5, 5, 5, -1000, 5, 30, -5, -5, -5, -5, -5, 5], 5], [[0, 1, 0, 0], 0], [[2, 3, -23, 243, -400, -400, 0, 1], 1], [[10, -20, 244, 30, -40, -62, 50, -61, -40], 3], [[30, -40, 50, -60, 51], 3], [[1, 2, 3, 1000, 243, -400, -400, 0, 2], 7], [[1000, 1, 2, 3, -23, 243, 8, -400], 7], [[100, 3, 5, 3, -23, 243, -400, 0, 243, -400, -23], 3], [[3, 0, 0, 1, -1, 1000, -1000, -1, 1000, -1000], 4], [[5, 5, 5, 2, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5, -5], 4], [[10, -20, 30, -40, 50, -60, 51], 3], [[-6, 10, -20, 30, -59, -40, 50, -59, 30], 2], [[1, 2, 3, -23, 243, -400, 0, -400, -23], 2], [[10, 30, -41, 50, -60, -40], 3], [[4, 11, -20, 30, -40, 50, -60, 50, 10], 3], [[5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, 5, -5], 11], [[5, 5, 5, 5, 5, 2, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5], 5], [[1, 2, 3, -23, 243, 99, -22, -400, -400, 0, -400, -23], 7], [[1, 2, 3, 243, -400, -400, 0, -400], 1], [[1, 2, -20, 4, 243, -400, -400, 0, 243, -400], 0], [[9, -20, 30, -40, -59], 2], [[-99, -1000, -1000, -1000], 1], [[10, -20, 30, 1000, -40, 50, 243, 10], 1], [[5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5], 4], [[10, -20, 30, -40, 50, -60, -20, -60], 4], [[999, 3], 1], [[1, 2, 3, -23, 243, 3, -400, -1, -400, 0, 243, -400], 3], [[-5, 50, -60, 51, -40, -40], 3], [[10, -40, -20, 30, 999, 50, 50, 10], 1], [[2, 3, -23, 243, 8, -400, 0, -400], 1], [[10, -20, 30, -40, 51, 10, -40], 4], [[10, -20, 30, 1000, -40, 50, -59, 10, 1000], 2], [[5, 5, 5, 5, 4, 5, 5, 5, 5, 5, 5, -5, 7, -5, -5, -5, 5], 6], [[5, 5, 5, 5, 5, 5, 5, 6, 5, 5, -5, -5, -5, -5, -5, 5], 0], [[-61, -20, 30, 1000, -40, 50, -59, 10, 30, 30], 2], [[30, -40, 50, -60, 51], 2], [[100, 2, 3, 6, 0, 243, -400, -23, -23], 3], [[1, 3, -23, 243, -399, -400, -400, 0, -23], 5], [[2, 10, 6, 4, 8, 4], 3], [[10, -20, 6, 30, -40, 51, 50, -60], 3], [[-61, -20, 30, 49, 1000, -40, 50, -59, 30], 2], [[1000, -21, 244, -1000, -1000], 2], [[1, 2, 3, -23, 243, -400, -400, 0, -23], 3], [[100, 2, 1, 3, -23, 243, -400, 0, 243, -400, -23], 3], [[3, 0, 1, -1, 1000, -1000, 1000, -1000], 6], [[-19, 999, -20, -1000, -1000], 2], [[10, -20, 30, -59, 50, -60, 50], 5], [[5, 5, 5, 2, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5, 5], 5], [[2, 7, 4, 100, 4], 3], [[1, -19, 2, -23, 243, -400, -400, 0, -400], 0], [[3, 0, 0, -1, 1000, -1000, 1000, -1000, 1000], 8], [[10, -20, 30, -20, -40, 50, -61, -40], 2], [[-5, -10, -15], 2], [[10, 20, 30], 1], [[5, 10, 5, 7], 2], [[1, 2, 3], 0], [[-1, 0, 1], 0], [[5, 5, 5, 5], 2], [[-3, -4, -1, -2], 2], [[-1000, 1000, -999, 999], 2], [[-5, -10, -15], 1], [[1000, -1000], 1], [[4, 2, 5, 6, 243, 4, 8, 4], 3], [[100, -100, 100, -100, 100, -100, 100, -100, 100, -100, -100], 5], [[80, -1], 2], [[-1000], 0], [[100, -100, 100, -100, 100, -100, 100, -100, 100, -100, -100], 6], [[1000, 999, -999], 2], [[2, 4, 2, 5, 6, 7, 4, 4], 3], [[4, 2, 5, 6, 7, 4, 8, 4, 4], 3], [[10, -20, 30, -40, 50], 4], [[1, 2, 80, 3, -23, 243, -400, -400, 0], 2], [[2, 5, 6, 243, 4, 8, 4], 3], [[10, 30, -40, -60], 3], [[-100, 2, 5, 6, 243, 4, 8, 4], 3], [[-100, 100, -100, 100, -100, 100, -100, 100, -5], 5], [[100, 80, -100, 100, -100, 100, -100, 100, -100, 100, -100], 6], [[-100, 100, -100, 100, -5, 100, -100, 100, -5], 5], [[4, 2, 5, 6, 7, 4, 8, 4, 4], 2], [[80, -1, 80], 2], [[-100, 100, -100, 100, -5, 100, -100, 30, 100, -5], 6], [[1000, 999], 2], [[6, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 9], [[6, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5], 9], [[10, -20, 30, 9, 50, -60], 3], [[10, 49, -20, 30, -40, 50, -60], 3], [[4, 2, 5, 6, 243, 4, 8, 4], 4], [[0, 0, 0, 1, -1, 1000, -1000, 1000, -1000], 8], [[80, -1, 6, 80], 2], [[10, -20, 30, 9, 49, -60], 4], [[-100, 100, -100, 100, -5, 100, -100, 100, -5, -5], 5], [[-60, -1, 6, 80], 2], [[10, -1000, -20, 30, -40, 50, 10], 4], [[100, 80, -100, 100, -100, 100, -100, 100, -100, 100, -100], 5], [[-60, 10, -1, 6, 80], 2], [[100, 80, -100, 100, -100, 100, -100, 100, -100, 100, 0], 6], [[4, 2, 5, 6, 7, 4, 8, 4, 4, 4], 2], [[4, 2, 5, 6, 7, 4, 8, 4, 4, 5], 3], [[-100, 100, -100, 100, -5, 100, -100, 100, 999], 5], [[80, -40, -1, 80], 2], [[100, 80, -100, 100, -100, 100, -100, 100, -100, 100, 0], 7], [[4, 2, 5, 6, 7, 9, 4, 8, 4, 4], 3], [[80, -1, 6, 80, 81, -2], 2], [[80, -1, -1, -1], 2], [[80, -1, 6, 80, 80], 2], [[-100, 100, -100, 100, -5, 1, 101, -100, 30, 100, -5], 6], [[-100, 100, -100, 100, -5, 100, -100, 100, -5, -5], 4], [[80, -1, 80, 6, 80, 80], 2], [[1000, 49], 1], [[3, 3, 5, 6, 7, 4, 8, 4, 4, 4], 2], [[10, 49, -20, 30, -40, 50], 3], [[0, -1000, 0, 1, -1, 1000, -1000, 1000, -1000], 8], [[4, 2, 5, 6, 7, 4, 8, 4, 4, 5, 5], 3], [[1000, 999, -999], 3], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 2], [[2, 4, 2, 5, 6, 7, 4, 4, 4, 4], 3], [[9, 49, -20, 30, -40, 50], 3], [[4, 2, 5, 6, 7, 4, 8, 4, 4, 4, 4], 2], [[4, 2, 5, 6, 7, 4, 8, 4, 4, 5, 5, 4], 2], [[-1, -1000, 0, 4, 1, -1, 1000, -1000, 1000, -1000], 8], [[8, -60, 10, -1, 6, 10, 80], 2], [[-1], 1], [[5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 3], [[10, -20, 30, 1000, 50, -60], 3], [[80, -1, 6, 80, 81, -2], 1], [[0, 0, 0, 1, -1, 1000, -1000, 1000, -1000, 0], 7], [[-1, -1000, 0, 5, 4, 1, -1, 1000, -1000, 1000, -1000], 8], [[-100, 2, 5, 6, 243, 8, 4], 3], [[-100, 100, -100, 100, -5, 100, -100, 100, -5, -5, 100], 4], [[11, 49, -20, 30, -40, 50, -60], 4], [[3, 3, 5, 6, 7, 4, 8, 4, 4], 2], [[80, -1, -1, -1], 3], [[8, -60, -1, 6, 10, 80], 2], [[-100, 100, -100, 100, -100, 100, -100, 100, -5], 6], [[10, -20, 30, 30, 49, -60], 5], [[-100, 100, -100, 100, -100, 100, -100, 100], 5], [[80, -1, -1, -1], 4], [[4, 2, 5, 5, 4, 8, 4, 4, 5, 5, 4], 2], [[4, 2, 5, 6, 242, 4, 8, 4], 4], [[4, 2, 5, 6, 7, 5, 8, -400, 4, 4], 3], [[-100, 100, -1, -100, 100, -5, 100, -100, 100, -5, -5, 100], 4], [[4, 2, 5, 6, 7, 5, 8, -400, 4, 4], 2], [[-100, 100, -100, 101, -5, 100, -100, -60, 100, -5], 5], [[2, 4, 2, 5, 6, 7, 5, 4], 3], [[-1], 0], [[7, 8, -60, -1, 6, 10, 80], 2], [[-20, 51, 30, -40, 50, -60, 50, 30], 4], [[7, 8, 101, -60, -1, 6, 80], 2], [[5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5], 2], [[2, 4, 2, 5, 6, 7, 4, 4], 2], [[80, -1, -1], 3], [[79, 80, -1, -1], 3], [[-1, -1], 1], [[4, 2, 5, 6, 7, 4, 8, 4, 4], 4], [[10, -1000, -20, 30, 50, 10], 4], [[5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 10], [[-100, 2, 5, 6, 3, 243, 4, 8, 4], 3], [[-100, 100, -100, 101, -5, 100, -100, -60, 100, -5], 6], [[-100, 100, -100, 101, -5, 100, -100, 100, -5], 5], [[80, -1, 6, 80, 81, -1, -2], 2], [[1000, -1000, 1000], 1], [[8, -60, 10, -1, 6, 10, 80], 3], [[-100, 100, -1, -100, 100, -5, 100, -100, 100, -5, -6, 100], 4], [[10, -1000, -20, 30, -40, 50, 10, 10], 4], [[100, 80, -100, 100, -100, 100, -100, 100, -100, 100, -100, 100], 5], [[-100, 100, -101, 100, -5, 100, -100, 30, 100, -5], 6], [[8, -60, 10, -1, 6, 10, 79], 3], [[999, 9, 49, -20, 30, -40, 50], 3], [[-100, 100, -100, 100, -100, 100, -100, 100, -100], 5], [[6, 5, 5, 5, 5, 5, 999, 5, 5, 5, 5, -5, -5, -5, -5, -5], 9], [[-99, 99, 100, -1, -100, 100, -5, 100, -100, 100, -5, -6, 100], 4], [[100, 80, -100, 100, -100, 100, -99, -100, 100, -100, 100, 0], 6], [[1, 0, 0], 1], [[-100, 100, -100, 100, -5, 100, -100, 99, 999], 5], [[100, 80, -100, 242, -100, 100, -100, 100, -100, 100, -100], 5], [[5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5], 3], [[7, 8, 101, -60, -1, 6, 80, 6], 2], [[100, 80, -100, 100, -100, 100, -99, -100, -100, 100, 0], 6], [[80, 243, -1, 6, 80], 3], [[999, 9, 49, -20, 29, 49, -40, 50], 3], [[6, 5, 5, 5, 8, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 9], [[6, 5, 5, 5, 5, 5, 999, 5, 5, 5, 5, -5, -5, -5, -5, -5, 5, 5], 9], [[-100, 100, -100, 100, -100, 100, -100, 100, -5, 100], 6], [[4, 5, 6, 7, 4, 8, 4, 4], 1], [[80, -2, -1], 2], [[4, 2, 5, 6, 7, 4, 8, 4, 4, 4, 8], 2], [[2, 4, 2, 5, 6, 7, 4, 4, 6], 2], [[81, -1000], 0], [[80, -101, -1, 6, -60, 80, 81, -2], 1], [[80, -1, 6, 80, 81, 79, -1, -2], 2], [[3, 3, 5, 6, 7, 4, 8, 5, 4, 4, 4], 2], [[80, -1, 6, 80, 81, 79, -1, -2], 1], [[80, -1, 6, 80, 80], 1], [[10, 49, -20, 30, -40, -20, 50], 3], [[2, 5, 2, 5, 6, 7, 5, 4], 3], [[-100, 100, -100, 100, -5, 100, -101, 100, -5, -5], 4], [[5, 5, 6, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 4], [[80, 6, 80, 81, -1, -2], 2], [[80, -1, 6, 80, 81, -2, -2], 2], [[-100, 100, -100, 100, -100, 100, -100, 100, -5, 100], 7], [[1, 0, 0, 1], 1], [[80, -101, -1, 6, -60, 80, 81, -2, 80], 1], [[3, 3, 5, 6, 7, 5, 8, 4, 4, 4], 2], [[6, 5, 5, 5, 50, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 9], [[5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5], 10], [[5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5, -5], 10], [[-1, 80, -101, -1, 6, -60, 80, 81, -2, 80], 1], [[999, 9, 49, -20, 30, 50, -40], 3], [[6, 5, 5, 5, -400, 4, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 9], [[-1000, -100, 100, -100, 100, -5, 100, -100, 30, 100, -5], 6], [[-5, 0, -5], 1], [[10, 49, -20, 30, -40, -60], 3], [[-100, 100, -1, -100, 100, -5, 100, -100, 100, -5, -5], 3], [[1, 10, 0, 1], 1], [[-100, 2, 5, 6, 243, 4, 8, 4], 2], [[5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5], 3], [[7, 8, 101, -60, -1, 6, 80], 1], [[0, 0, 0, 1, -1, 1000, -1000, 1000, -1000, 0], 8], [[-100, 2, 5, 6, 243, 4, 8, 4], 4], [[4, 2, 5, 81, 6, 7, 4, 8, 4, 4, 4, 8], 2], [[7, 8, 101, -60, -1, 6, 80, 6, 7], 2], [[2, 4, 2, 5, 6, 7, 4, 4, 4, 4, 4], 3], [[4, 2, 5, 6, 7, 4, 8, 4, 4, 4], 3], [[8, -60, 10, -1, 6, -1, 10, 80], 3], [[4, 2, 5, 6, 7, 4, 8, 4, 4, 4], 9], [[4, 2, 5, 6, 7, 5, 8, -400, 4, 4, 5], 4], [[3, 3, 5, 6, 7, 4, 8, 4, 4, 4, 5], 2], [[6, 5, 5, 5, 8, 5, 5, 5, 5, -5, -5, -5, -5, -5], 9], [[80, 29, 6, 81, -2], 1], [[-40, 9, 49, -20, 30, -40, 50], 3], [[7, -60, -1, 6, 10, 80], 2], [[-100, 2, 5, 6, 244, 3, 243, 4, 8, 4, 4], 3], [[4, 51, 4, 2, 5, 6, 7, 4, 4, 4, 4, 4], 3], [[10, -20, 30, 30, 49, -60, 30], 5], [[100, 80, -100, 100, -100, 100, -99, -100, -1, -100, 100, 0], 6], [[-100, 100, -100, 100, -5, 100, -100, 100, -5, -5, 100], 5], [[-5], 1], [[-100, 100, -100, 100, -5, 100, 3, -100, 100, 999], 4], [[4, -2, 5, 6, 7, 4, 8, 4, 4, 5], 3], [[80, -1, 6, 80, 81, 79, -1, -2], 6], [[82, -6], 0], [[100, 80, -100, 100, -100, 100, -99, -100, -99, 100, -100, 100, 0], 6], [[100, 80, -100, 100, -100, 100, -99, -100, -99, 100, -100, 100, 0], 10], [[100, 80, -100, -5, 100, -100, 100, -100, 100, -100, 100, -100, 100], 5], [[6, 5, 5, 5, 5, 5, 999, 5, 5, -101, 5, -5, -5, -5, -5, -5], 9], [[-100, 100, -100, 100, -5, 100, -100, 100, 999, 100], 5], [[10, -19, 30, 30, 49, -60, 30], 5], [[80, 6, 80, 81, 79, -1, -2], 1], [[-5, 0, -5], 0], [[2, 10, 0, 1], 1], [[4, 2, 5, 6, 7, 4, 8, 4, 4, 4, 8], 6], [[100, 80, -100, 100, -100, 100, -100, 100, -100, 100, -100], 7], [[-100, 100, -1, -4, -100, 100, -5, 100, 999, 100, -5, -5, 100], 5], [[1, 2, 3, -23, 243, -400, -400, 0, 3], 2], [[4, 2, 5, 6, 242, 4, 8, 4, 8], 4], [[4, -2, 5, 6, 4, 8, 4, 4, 5], 3], [[100, -100, 100, -5, 101, -100, 100, 999, 100], 5], [[80, -1, 6, 80, 81, 78, -1, -2], 1], [[4, -2, 5, 30, 6, 4, 8, 4, 4, 5], 3], [[243, 2, 5, 6, 7, 4, 8, 4, 243, 4, 4], 2], [[100, 5, -100, -5, 100, -100, 100, -100, 100, -100, 100, -100, 100], 5], [[4, 51, 4, 2, 5, 6, 7, 4, 4, 101, 4, 4], 3], [[80, 80, -40, -1, 82], 2], [[-1000, -100, 100, -100, 100, -5, 100, -100, 30, 100, -5], 5], [[3, 3, 6, 7, 4, 8, 4, 4, 4], 2], [[100, 80, -100, 100, -100, -100, 100, 100, 100, -100], 7], [[3, 3, 6, 7, 8, 4, 4, 4], 2], [[-100, 100, -101, -100, 100, -5, 100, 3, -100, 100, 999], 4], [[5, 5, 5, 5, 5, 5, 5, 5, 5, -5, 5, -5, -5, -5, -5, -5], 3], [[100, 80, -100, 100, -100, 100, -100, 999, 100, -100, 100, -100], 6], [[999, -60, 9, 49, -20, 30, -40, 50], 3], [[100, 80, -100, 5, -100, 100, -100, 100, -100, 100, -100], 6], [[80, -1, 6, 80, 81, -2], 0], [[4, 5, 2, 5, 5, 4, 8, 4, 4, 5, 5, 4, 5], 2], [[0, 0, 0, 1, -1, 1000, -1000, 1000, -1000, 1], 8], [[5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, 5], 10], [[4, 2, 6, 7, 4, 4, 4], 2], [[2, 5, 6, 7, 4, 8, 4, 4, 4], 9], [[4, 4, 2, 5, 6, 7, 4, 8, 4, 4, 4], 9], [[80, -1, 6, 80, 80, 80], 1], [[49, -20, 30, -40, 50, -60], 3], [[1000, 49], 0], [[100, -100, 100, -100, 100, -100, 100, -100, 100, -100, 100], 5], [[2, 10, 10, 0, 1], 1], [[4, 2, 5, 6, 9, 4, 8, 4, 4], 3], [[79, 80, -1, -1, -1], 3], [[10, -20, 30, 30, 49, -60, -20], 3], [[-100, 100, -100, 100, -5, 100, -100, 100, -5, -100], 5], [[51, 100, -100, 100, -5, 100, -100, 30, 100, -5], 6], [[3, 3, 5, 6, 7, 4, 8, 6, 4, 4], 2], [[8, -60, 10, -1, 10, 79], 3], [[2, 51, 10, 0, 1], 2], [[80, -1, 6, 80, 81, -1, -2], 3], [[-999, 80, 80, -40, -1, 82], 2], [[-5, -5], 0], [[-100, 100, -100, 100, -5, 100, -101, 100, -5, -5, 100], 0], [[80, -1, 6, 80, 81, 78, -1, -2], 2], [[3, 243, 3, 5, 6, 7, 5, 8, 4, 4, 4], 2], [[4, -100, 100, -100, 100, -5, 100, -100, 30, 100, -5, -100], 4], [[4, 5, 6, 7, 5, 8, 5, -400, 4, 4, 4], 3], [[-100, 100, -101, -100, 100, -5, 100, 3, -100, 79, 999], 4], [[80, -1, 81, -1, -1], 3], [[100, 5, -100, -5, 100, -100, 100, -100, 100, -100, 100, -100, 100], 6], [[4, 2, 5, 6, 7, 4, 8, 4, 4, 5, 5], 11], [[1, 2, 80, 3, -23, 243, -400, -400, 0, 1], 2], [[-100, 100, -100, 100, 101, -5, 100, -100, 99, 999, 999], 5], [[-100, 2, 5, 6, 3, 243, 4, 8, 4], 4], [[10, 49, 30, -40, 50, 30], 3], [[-100, 100, -100, 100, -5, 100, -100, 100, -5, -5], 3], [[4, 2, 5, 6, 7, 4, 8, 4, 4, 29, 2], 3], [[-100, 100, -100, 100, -5, 99, 100, -100, 100, -5, -5], 4], [[-20, 51, 30, -40, -60, 50, 30], 4], [[6, 5, 5, 5, 5, 5, 999, 5, 5, 5, 5, -5, -5, -5, -5, -5], 8], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, 5, 5], 3], [[-1, -1, -1], 2], [[-100, 101, 101, -100, 100, -100, 101, -5, 100, -100, -60, 100, -5], 4], [[-5, -5, 0, -5], 1], [[80, -1, 7, 80, 81, 79, -1, -2], 2], [[4, 2, 5, 6, 7, 4, 8, 4, 4, 5, 5], 5], [[-100, 100, -101, -100, 100, -5, 100, 3, -100, 79, 999, 999], 4], [[3, 3, 5, 6, 7, 4, 8, 5, 4, 4, 4], 4], [[8, -60, 10, -1, 6, 10, 80], 6], [[-1, -1, -1], 3], [[-1000, -100, 100, -100, 100, -5, 100, -100, 30, 100, -5, -5], 6], [[4, 51, 4, 2, 5, 6, 7, 4, 4, 4, 4, 4], 5], [[-100, 100, -100, 100, 100, -100, 99, 999], 5], [[2, 3, -23, 243, -400, -400, 0], 3], [[-20, 30, -40, -60, 50, 30], 4], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, 101, -5], 4], [[0, 0, 0, -1, 1000, -1000, 1000, -1000, 0], 8], [[1, 2, 80, 3, 243, -400, -400, 0], 2], [[4, 4, 2, 5, 6, 7, 4, 8, 4, 4, 4, 4], 9], [[4, 5, 6, 242, 4, 8, 4], 4], [[-100, 100, -1, -100, 100, -5, 100, -100, 100, -5, -6, 100], 3], [[4, 2, 5, 6, 7, 4, 8, 4, 4, 29, 2], 2], [[-1, -1000, 0, 4, -1, 1000, -1000, 1000, -1000], 8], [[80, -1, 6, 80, 81, 78, -1], 2], [[10, -20, 11, 30, -40, 50, -60], 3], [[-100, 100, -100, 100, -5, 100, -100, 30, 100, -5, -100], 3], [[-20, 51, 30, -40, 50, -60, 50, -40], 3], [[5, 5, 6, 5, -6, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 5], [[4, 2, 99, 81, 6, 2, 4, 8, 4, 4, 4, 8], 2], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 51, -5, -5, -5, -5, -5, -5], 10], [[2, 4, 2, 5, 6, 7, 4, 4, 2], 3], [[7, 8, 101, 101, -60, -1, 6, 80], 1], [[100, 80, -100, -100, 100, -100, 100, -100, 100, -100, 100, -100], 6], [[0, 100, 80, -100, 100, -100, 100, -99, -100, -99, 100, -100, 100, 0, -99], 6], [[-100, 100, -100, 99, -5, 100, -100, 100, -5], 5], [[-40, -1000], 2], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -60, -5, -5, -5, -5], 3], [[4, 2, 30, 5, 6, 7, 5, 8, -400, 4, 4], 3], [[2, 4, 2, 5, 6, 7, 4, 4, 4, 4, 4], 4], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5], 11], [[1000, -1000], 0], [[3, 3, 5, 7, 4, 8, 4, 4, 4], 2], [[-100, 2, 5, 6, 243, 4, 8, 4, 4], 4], [[1, 3, -23, 243, -400, -400, 0, 3, 3], 2], [[4, 2, 5, 6, 242, 4, 8, 4], 5], [[7, -60, -1, 6, 10, 80], 3], [[-100, 100, -100, 100, 101, -5, 100, -101, 100, -5, -5], 4], [[4, 5, 6, 7, 4, 4, 4], 2], [[-1, -1], 0], [[-1000, -100, 100, -100, 100, -5, 100, -100, 30, 100, -5, -5], 2], [[80, 6, 80, 81, -1, -2], 3], [[2, 4, 2, 5, 6, 7, 5, 4, 4, 4, 4, 4], 3], [[-100, 100, -100, 100, -5, 100, -100, 100, -5, -5, 100], 3], [[-100, 100, -100, 100, -5, 100, -100, 100, -5, -5], 6], [[-100, 100, -1, -100, 100, -5, 100, -100, 100, -5, -5], 2], [[1, 0, 0, 0], 1], [[-6, -5], 0], [[5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, 5], 11], [[-100, 100, -100, 101, -5, 100, -100, -60, 100, -5, -100], 6], [[5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, 5], 3], [[4, 2, 5, 6, 7, 4, 8, 4, 4, 5, 5], 10], [[6, 5, 5, 4, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 5], [[100, 80, -100, 100, -100, 100, -99, -100, -100, 100, 0, -100], 6], [[3, 3, 5, 6, 7, 4, 4, 5, 4, 4, 4], 5], [[1, 10, 0, 1, 0], 1], [[5, 80, -1, 6, 80, 81, 79, -1, -2], 1], [[243, 2, 5, 6, 83, 7, 4, 8, 4, 243, 29, 4, 4], 2], [[80, -1, 80, -1000], 0], [[80, 6, 80, 81, -1, -2, -2], 3], [[100, 80, -100, 100, -100, 100, -99, -100, 100, -100, 100, 0], 7], [[80, 6, 80, 80, 80], 1], [[5, 5, 5, 5, 5, 5, 5, 5, 5, -5, 5, -5, -5, -5, 4, -5, -5], 3], [[5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5, -5, -5], 10], [[100, 80, -100, 100, -100, 100, 79, -99, -100, 100, -100, 100, 0], 6], [[-1000, -100, 100, -100, 100, -5, 100, -100, 30, 100, -5, -5, -5], 6], [[-1, -1000, 0, 4, 1, -1, 1000, -1000, 1000, -1000, 0], 8], [[2, 10, 10, 0, 100], 1], [[-2, 5, 6, 7, 4, 8, 4, 4, 5], 9], [[1, 1, 10, 0, 1], 1], [[3, 3, 5, 6, 7, 4, 8, 5, 4, 4, 4], 1], [[-100, 100, -101, -100, 100, -5, 100, 3, -100, 79, -99, 999], 4], [[-100, 9, 100, -101, -100, 100, -5, 100, 3, -100, -99, 999, 3], 4], [[80, -1, 80, 6, 80, 81, 80, 80], 2], [[100, 80, 100, -100, 100, -100, 100, -100, 100, -100, 100], 5], [[-100, 2, 7, 5, 6, 243, 8, 4], 3], [[-20, 30, -40, -60, 50, 30], 3], [[10, 30, 9, 49, -60], 4], [[2, 5, 2, 5, 6, 7, 4, 4], 2], [[100, -100, 100, -100, 100, -100, 100, -100, 100, -100, -100], 7], [[80, -1, 6, 80, 80], 0], [[100, -100, -100, 100, -100, 100, -100, 100, -100, -100], 6], [[4, 2, 30, 5, 6, 7, 5, 8, 4, 4], 3], [[10, -1000, -20, 30, -40, 50, 10, 10, 10], 4], [[3, 3, 6, 7, 8, 4, 4, 4, 7], 2], [[-100, 100, -100, 100, -100, 100, -100, 100, -6, 100], 6], [[49], 1], [[3, 3, 6, 7, 4, 8, 4, 4, 4], 1], [[-23, -1, -1, -1], 2], [[5, 5, 10, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, -5, -5], 10], [[4, 2, 5, 6, 7, 4, 8, 4, 4, 5, 5, 4, 8], 2], [[-1, 0, 4, 1, -1, 1000, -1000, 1000, -1000], 4], [[80, -1, -1, -1], 1], [[80, 79, -1, 6, 80, 80], 0], [[1000, 999, -999, 999, -999], 2], [[2, 4, 2, 5, 6, 7, 5, 4, 4, 4, 4, 4, 4], 3], [[3, 3, 5, 6, 7, 4, 8, 5, 4, 4, 4, 4], 2], [[100, -100, 100, -100, 100, -100, 100, -100, 100, -100, 100, -100], 4], [[10, 49, -20, 30, -40, 50], 5], [[0, 0, 0, 1, -1, 1000, -1000, 1000, -1000, 1], 6], [[-100, 100, -100, 100, 101, -5, 100, 82, -100, 99, 999, 999, -100], 5], [[80, -1, 6, 80, 82], 0], [[-1000, -100, 100, -100, 100, -5, 100, -100, 30, 100, -5], 4], [[999, 9, 49, 50, -20, 30, -40, 50], 3], [[11, 49, -20, 30, -40, 50, -60], 7], [[5, 5, 5, 5, 5, 5, 5, -5, -5, -5, 6, -5, -5, -5, -5], 10], [[100, -100, 100, -5, 100, -100, 100, -5], 4], [[3, 3, 5, 7, 4, 8, 4, 4, 4], 3], [[4, 51, 4, 2, 5, 6, 7, 4, 4, 4, 4, 4], 4], [[-59, 10, -20, 30, 9, 50, -60], 2], [[80, -1, 6, 80, 78, 81, 79, -1, -2, -1], 2], [[-100, 100, -101, -100, 100, -5, 100, 3, -100, 79, 999, -100], 4], [[244], 0], [[49, -20, 100, -40, 50, -60], 3], [[-100, 100, -100, 101, -5, 100, -100, -60, 100, 99, -5], 6], [[5, 5, 5, 5, 5, 5, 5, 5, 5, 5, -5, -5, -5, 101, -5], 0], [[80, -1, -2, -1], 1], [[-5, 0, -5, -5, -5], 1], [[0, 0, 0, 1, -1, 1000, -1000, 1000, -1000, 1], 9], [[100, 83, 100, -5, 101, -100, 100, 999, 100], 5], [[0, 0, 0, -1, 83, 1000, -1000, 1000, -1000, 0, 0], 9], [[3, 3, 5, 7, 4, 8, 4, 4, 4], 4], [[80, -2, -1, -2], 2], [[1, -6, 3, -23, 243, -400, -400, 3, 3], 2], [[8, -60, 10, -1, 6, 10, 80], 7]]
    results = [[-4, -3, 5], [4, 4], [2], [2, 20, 123], [0, 1, 2, 20], [-13, -8, 0, 0, 3, 5, 15], [3, 5], [5], [-4, 4], [-10, 10], [], [3, 4, 5], [-2, -1], [2, 2, 2], [0, 0, 0, 0], [3], [], [0], [3, 5, 8, 10], [-1000, 0, 1000], [5], [4, 5, 8, 10], [2, 2, 2], [4], [], [2, 2], [2], [2, 2], [], [2], [1], [2, 3], [-1, 10], [2], [3], [3], [], [-2, -1, 10], [2, 8], [0, 0, 0, 0, 0], [0, 0, 0, 0], [4], [], [], [], [2, 3], [-2, -1], [2, 3], [0, 0, 0, 0], [1], [4, 4], [4], [3, 4, 5], [], [1], [5, 8, 10], [1], [5], [2, 5], [0, 0, 0, 1000], [3, 3], [2, 2, 2, 2, 2], [10], [3, 3], [], [], [-3, -3, -2, 10], [2], [], [-2, -1, 10], [0, 0, 0, 0], [-1, 10], [], [1], [1000], [2, 2], [], [10], [2, 2, 2, 2], [-1, 10, 10], [], [-1, 10, 11], [-3, -2], [0], [4], [2, 3, 4, 5], [8, 8, 10], [], [8, 8, 10], [-3, -2, -1, 10, 10], [0, 0, 1, 1000], [-1, 8], [3], [5, 8, 10], [4, 4], [2, 5], [3], [2], [], [3, 4, 5], [2, 2], [2], [2, 3, 5], [1000], [1, 1], [], [-3, -3, -2, 10], [], [0, 0, 0, 0, 1], [], [0, 0, 0, 0, 0], [5, 5, 5, 5, 5, 5, 5, 5, 5, 5], [100, 100, 100, 100, 100], [5, 5, 5, 5], [10, 30, 50], [6, 7, 8], [3, 243], [-1000, 1000], [-1, 0, 0, 0, 1, 1000, 1000], [243, 243], [3, 243], [-20, 10, 30, 50], [243], [-20, 10, 30, 50], [5, 5, 5, 5], [243, 243], [-5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5], [-1000, 1000], [5, 5, 5], [-1, 0, 0, 1, 3, 1000, 1000], [3, 243], [6, 7, 8], [30, 50], [-1000, 999], [5, 5, 5, 5, 5, 5, 5, 5, 5, 5], [10, 30, 50], [11], [3, 243], [], [11], [2, 3, 243], [5, 5, 5, 5, 5, 5, 5, 5, 5], [-23, 0, 1, 2, 3, 243], [243, 243], [30, 50], [5, 5, 5, 5, 5, 5], [2, 3, 243], [5, 5, 5, 7], [-20, 10, 30, 50], [30, 100, 100, 100, 100], [-400, -23, 0, 1, 1, 2, 3, 243], [50, 50], [999], [30, 50], [10, 30, 50], [30, 50, 50], [243, 243], [7], [243, 243], [5, 5, 5, 5], [-20, 10, 30, 50], [-401, -1, 0, 0, 1, 1000, 1000], [], [], [999], [5, 5, 5, 5, 5, 5, 5, 5, 5], [50], [0, 1, 2, 3, 100, 243], [], [243], [30, 50], [5, 5, 5, 5], [7, 8], [-23, 0, 1, 1, 2, 3, 243], [30, 50], [-1000, -401, -1, 0, 1, 100, 1000, 1000], [5, 5, 5], [50, 1000], [5, 5, 5, 5], [-1000, 1000], [], [10, 30], [5, 5, 5, 5], [-400, -400, -23, 0, 1, 2, 3, 243], [5, 5, 5, 30], [7, 8, 100], [5, 5, 5, 30], [2, 243], [243, 243], [-400, -22, 0, 1, 2, 3, 243], [1], [-20, 10, 50], [100, 243, 243], [1000], [10, 30, 50], [3, 243, 243], [50], [30, 50], [10, 30], [243], [-22, 0, 1, 2, 3, 243], [-401], [50], [1, 30], [], [0, 1, 2, 3, 3, 243, 243], [10, 50], [10, 30, 50], [1000], [10, 30, 50], [5, 5, 5, 5, 5, 5, 5, 5], [-20, 999], [243, 243], [30, 30, 50], [0, 1, 1, 2, 3, 243], [10, 30], [30, 100, 100, 100, 100], [243, 243, 243], [10, 30, 50], [5, 5, 5, 5, 5, 5, 5, 5, 7], [243], [], [-400, -23, 0, 1, 2, 3, 243], [10, 30, 50, 50], [10, 30, 50], [-5, 5, 5, 5, 5, 5, 5, 5, 5], [0, 0, 1, 3, 1000, 1000], [-1000], [0, 1, 2, 3, 3, 243, 244], [10, 30], [-20, -20, 30, 50], [10], [9], [], [5, 7, 8], [], [30, 50, 50], [243], [5, 5, 5, 6], [5, 5, 5, 5], [-400, -400, -23, 0, 1, 2, 3, 243, 243], [30, 50], [5, 5, 5, 5, 5, 5, 5, 5, 5, 5], [5, 5, 5, 5], [5, 5, 5, 5, 5, 5, 5, 5, 5], [100, 243, 243], [30, 100, 100, 100, 100], [10, 30, 50], [10, 30], [-400, 0, 1, 2, 3, 243, 1000], [243, 243], [5, 5, 5, 30], [5, 6, 8], [3, 243], [-20, 999], [-20, 10, 30, 50], [1], [3, 30, 243, 243], [100, 243, 243], [5, 7, 8], [0, 0, 1, 2, 3, 243], [50, 1000], [30, 49, 50, 50], [-19, 999], [-400, -23, 0, 1, 1, 2, 3, 243], [243], [5, 5, 5, 5, 5, 5, 5, 5, 5], [-400, -400, -22, 0, 2, 3, 243], [5, 6, 7, 8], [], [1000], [], [-61, -23, 0, 1, 1, 2, 3, 243], [-20, 30, 50, 50], [5, 5, 5], [10, 30, 50], [-1, -1, 0, 0, 1, 3, 1000, 1000], [5, 5, 5, 5, 5, 5, 5, 5], [242, 243], [10, 30, 50], [10, 30, 50], [8, 29], [999], [-22, 0, 1, 2, 3, 243], [30, 50], [0], [243], [31, 100, 100, 100, 100], [49, 243], [-5, 10, 50], [30, 50], [30, 50, 50], [-40, 30, 50], [], [3, 5, 100, 243, 243], [243, 243], [10, 50, 100], [999], [5, 5, 998], [999], [2, 3, 30, 243, 243], [30, 30, 50], [1, 2, 3, 3, 3, 243, 244], [7, 8], [243], [9, 10, 30, 50], [999], [999], [0, 1, 2, 2, 3, 243, 1000], [1000], [-400, -22, 0, 2, 3, 243], [50], [-1000, -1, 0, 0, 1, 1000, 1000], [1, 2, 3, 3, 50, 243, 244], [50, 50], [-20, 10, 30, 50, 50], [100, 100, 100, 100, 100], [999], [1, 30], [-60, -40, -40, -40, -40, 1, 30], [100, 100, 100, 100, 100], [3, 243], [-40, 10, 30, 50], [-401, -1, 0, 1, 30, 1000, 1000], [243], [], [30, 30, 50], [30, 30, 50], [], [-1000, -401, -1, 0, 0, 1, 1000, 1000], [-401, -1, 0, 1, 100, 1000, 1000], [50], [0, 0, 1, 3, 1000, 1000], [-1, 0, 1, 10, 30, 1000, 1000], [-100, 99, 100, 100, 100, 100, 100], [243, 243], [6, 100, 243], [-22, 0, 1, 2, 3, 243], [5, 5, 5, 5, 998], [-1, 0, 0, 0, 1, 1000, 1000], [-5, 10, 50], [243], [50, 1000], [0], [5, 5, 5, 5, 7], [31, 100, 100, 100, 100], [50, 243], [5, 5, 6, 6], [-1000, -1, 0, 1, 244, 1000, 1000], [1000], [10, 30, 50], [], [5, 5, 5, 99], [-20, 9, 30], [6, 7, 8], [6, 7, 8, 100], [50, 50, 242], [-100, -100, 99, 100, 100, 100, 100, 100], [], [0, 0, 0, 1, 1, 1000, 1000], [0, 1, 1, 100, 1000, 1000], [6, 7, 8], [0, 1, 2, 2, 3, 243, 1000], [243, 243], [5, 5, 5, 5], [-20, 10, 29, 30], [100, 100, 100, 100], [243, 243, 243], [50], [5, 6, 7, 8], [999], [-400, -400, -23, 0, 2, 3, 243], [243, 1000], [5, 5, 5], [30, 50], [30, 50, 1000], [], [1000, 1000], [243], [30, 51], [30, 30], [5, 5, 5, 6], [999], [5, 6, 7, 8], [999], [30, 50, 50, 50], [5, 5, 5, 5, 5, 5, 5, 5, 5, 5], [2, 3, 5, 100, 243, 243], [-400, -61, -23, 0, 1, 2, 3, 243], [100, 100, 100, 100, 100], [-20], [-40, -40, 10, 30, 50], [243, 243], [5, 5, 5, 30], [-401, -1, 0, 1, 101, 1000, 1000], [3, 3, 242, 243], [2, 3, 3, 50, 243, 244], [-400, -400, -23, 0, 2, 3, 243], [9, 243, 243, 243], [30, 30], [10], [5, 5, 5, 5, 5], [5, 5, 998], [243], [50, 243], [30, 50], [243], [243, 1000], [30, 50], [2, 3, 243], [5, 5, 5, 5], [50, 1000], [243], [5, 5, 5], [6, 7, 8], [9, 10, 30, 50], [3, 3, 50, 243, 244], [30, 50], [50, 50, 242], [5, 5, 5, 99], [999, 999], [-40, -40, -5, 10, 50], [30, 243, 243, 999], [0, 1, 3, 1000, 1000], [50, 50, 242], [-1, 0, 0, 0, 1, 1000, 1000], [-40, -5, 50], [5, 5, 5, 5, 5], [-100, -100, 100, 100, 100, 100, 100], [10, 30, 50], [999], [50], [-999, 1000], [-19, 10, 30, 50], [-23, 1, 2, 3, 8, 243, 1000], [30, 50], [5, 5], [-22, 1, 1, 2, 3, 243], [5, 5, 998], [243, 1000], [0, 1, 2, 3, 99, 243], [-40, -20, 10, 30, 50], [5, 5, 5, 5, 6], [5, 5, 5, 6], [50], [0, 1, 2, 3, 3, 243], [-1000, -401, -1, 0, 1, 101, 1000], [5, 5, 5, 5], [50, 50, 242], [999], [49, 50, 1000], [999], [5, 5, 5, 5, 5, 5, 5, 5], [6, 7, 8], [5, 5, 998], [5, 5, 5, 5], [30, 50, 50], [-40, 10, 30, 50], [30, 100, 100, 100, 100], [5, 5, 6], [30, 30, 50], [1000, 1000], [243, 243], [243, 243], [-5, 0], [], [243], [6, 7, 8], [30, 30], [-400, -400, 0, 1, 2, 3, 243, 1000], [100, 243, 243], [10, 30, 51], [5, 5, 5, 5, 5, 5, 5], [999], [7, 7, 8], [-59, -40, -40, -5, 10, 50], [243], [], [10, 30, 50, 50], [-19, -4, 10, 30], [30, 50], [10, 50], [5, 5, 5, 5, 5, 5, 5, 5, 5], [10], [999], [7, 8, 8], [2, 3, 243, 243], [], [30, 50, 244], [1, 2, 3, 243, 243], [5, 5, 5, 5], [10, 10, 29, 30], [-1000, -1, 0, 0, 3, 1000, 1000], [5, 5, 5, 100, 243], [], [999], [-20, 10, 30, 50], [100, 243, 243], [-1, 0, 0, 3, 1000, 1000, 1000], [5, 5, 5], [5, 5, 5, 5], [-4, 0, 2, 3, 3, 243, 1000], [-20, 30, 50], [7, 8], [4], [30, 51], [4, 7, 8], [5, 5, 5, 5, 5, 5, 5, 5], [243, 243], [5, 5, 5, 5, 5, 5], [-60, -40, -40, 10, 30, 50], [-400, -23, 0, 1, 3, 3, 243], [243, 243], [243, 243], [5, 5, 5, 5, 5, 5, 5, 100, 243], [50], [7, 8, 100], [30, 50], [5, 5, 5, 5, 5, 5], [1, 2, 3, 243], [0, 0, 1, 1, 3, 1000, 1000], [-1, 5, 5, 5, 5, 5, 5, 5], [2, 3, 243], [7, 8, 100], [10, 10, 30, 100], [], [-5, 10, 50], [0, 1, 1, 100, 1000, 1000], [30, 50, 244], [5, 5, 5, 5, 5, 5, 5, 5], [10, 30, 50], [6, 10, 30, 50], [243, 243], [30, 49, 50, 50], [5, 5, 5, 5], [50], [1000, 1000], [-40, 5, 10, 30, 50], [1000], [30, 50], [10, 30], [243, 243], [1, 10, 30], [-400, -22, 1, 1, 2, 3, 243], [999], [5, 5, 5, 5, 5, 7], [243, 243], [-40, -5, 10, 50], [3, 8, 243, 1000], [3, 243, 243], [5, 5, 5, 5], [-400, -400, -23, 0, 1, 2, 3], [-1, 5, 5, 5, 5, 5, 5, 5], [10, 30, 30, 50], [30], [30, 50, 50], [1, 2, 3, 243], [243, 243], [], [243, 243, 243], [50, 1000], [29, 50], [5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5], [1000, 1000], [5, 5, 5, 5, 30], [], [243], [30, 50, 244], [30, 50, 51], [0, 1, 2, 2, 3, 243, 1000], [-23, 1, 2, 3, 8, 243, 1000], [100, 243, 243], [1, 3, 1000, 1000], [5, 5, 5, 5], [30, 50, 51], [30, 50], [3, 243], [10, 30, 50], [30, 50, 50], [-5, -5, 5, 5, 5, 5, 5, 5, 5, 5, 5], [5, 5, 5, 5, 5], [-22, 0, 1, 2, 3, 99, 243], [243], [], [9, 30], [-99], [1000], [5, 5, 5, 5], [-20, 10, 30, 50], [999], [3, 243, 243], [-5, 50, 51], [999], [243], [10, 10, 30, 51], [1000, 1000], [5, 5, 5, 5, 5, 7], [], [50, 1000], [50, 51], [6, 100, 243], [-23, 0, 1, 3, 243], [6, 8, 10], [30, 50, 51], [50, 1000], [244, 1000], [2, 3, 243], [100, 243, 243], [-1, 0, 1, 3, 1000, 1000], [-19, 999], [-20, 10, 30, 50, 50], [5, 5, 5, 5, 5], [4, 7, 100], [], [-1000, -1, 0, 0, 3, 1000, 1000, 1000], [30, 50], [-10, -5], [30], [7, 10], [], [], [5, 5], [-2, -1], [999, 1000], [-5], [1000], [6, 8, 243], [100, 100, 100, 100, 100], [-1, 80], [], [-100, 100, 100, 100, 100, 100], [999, 1000], [5, 6, 7], [6, 7, 8], [-20, 10, 30, 50], [80, 243], [6, 8, 243], [-40, 10, 30], [6, 8, 243], [-5, 100, 100, 100, 100], [80, 100, 100, 100, 100, 100], [-5, 100, 100, 100, 100], [7, 8], [80, 80], [-5, 30, 100, 100, 100, 100], [999, 1000], [5, 5, 5, 5, 5, 5, 5, 5, 6], [5, 5, 5, 5, 5, 5, 5, 5, 6], [10, 30, 50], [30, 49, 50], [5, 6, 8, 243], [-1000, -1, 0, 0, 0, 1, 1000, 1000], [80, 80], [9, 10, 30, 49], [-5, 100, 100, 100, 100], [6, 80], [10, 10, 30, 50], [100, 100, 100, 100, 100], [10, 80], [80, 100, 100, 100, 100, 100], [7, 8], [6, 7, 8], [100, 100, 100, 100, 999], [80, 80], [0, 80, 100, 100, 100, 100, 100], [7, 8, 9], [80, 81], [-1, 80], [80, 80], [1, 30, 100, 100, 100, 101], [100, 100, 100, 100], [80, 80], [1000], [7, 8], [30, 49, 50], [-1000, -1000, -1, 0, 0, 1, 1000, 1000], [6, 7, 8], [-999, 999, 1000], [5, 5], [5, 6, 7], [30, 49, 50], [7, 8], [7, 8], [-1000, -1, -1, 0, 1, 4, 1000, 1000], [10, 80], [-1], [5, 5, 5], [30, 50, 1000], [81], [0, 0, 0, 0, 1, 1000, 1000], [-1, -1, 0, 1, 4, 5, 1000, 1000], [6, 8, 243], [100, 100, 100, 100], [11, 30, 49, 50], [7, 8], [-1, -1, 80], [10, 80], [-100, -5, 100, 100, 100, 100], [-20, 10, 30, 30, 49], [-100, 100, 100, 100, 100], [-1, -1, -1, 80], [5, 8], [5, 6, 8, 242], [6, 7, 8], [100, 100, 100, 100], [7, 8], [-5, 100, 100, 100, 101], [5, 6, 7], [], [10, 80], [30, 50, 50, 51], [80, 101], [5, 5], [6, 7], [-1, -1, 80], [-1, 79, 80], [-1], [5, 6, 7, 8], [10, 10, 30, 50], [-5, 5, 5, 5, 5, 5, 5, 5, 5, 5], [6, 8, 243], [-5, -5, 100, 100, 100, 101], [-5, 100, 100, 100, 101], [80, 81], [1000], [10, 10, 80], [100, 100, 100, 100], [10, 10, 30, 50], [100, 100, 100, 100, 100], [-5, 30, 100, 100, 100, 100], [10, 10, 79], [49, 50, 999], [-100, 100, 100, 100, 100], [5, 5, 5, 5, 5, 5, 5, 6, 999], [100, 100, 100, 100], [80, 100, 100, 100, 100, 100], [1], [99, 100, 100, 100, 999], [100, 100, 100, 100, 242], [5, 5, 5], [80, 101], [0, 80, 100, 100, 100, 100], [80, 80, 243], [49, 50, 999], [5, 5, 5, 5, 5, 5, 5, 6, 8], [5, 5, 5, 5, 5, 5, 5, 6, 999], [-5, 100, 100, 100, 100, 100], [8], [-1, 80], [8, 8], [6, 7], [], [81], [80, 81], [7, 8], [81], [80], [30, 49, 50], [5, 6, 7], [100, 100, 100, 100], [5, 5, 5, 6], [80, 81], [80, 81], [-100, -5, 100, 100, 100, 100, 100], [1], [81], [7, 8], [5, 5, 5, 5, 5, 5, 5, 6, 50], [-5, 5, 5, 5, 5, 5, 5, 5, 5, 5], [-5, 5, 5, 5, 5, 5, 5, 5, 5, 5], [81], [49, 50, 999], [5, 5, 5, 5, 5, 5, 5, 5, 6], [-5, 30, 100, 100, 100, 100], [0], [10, 30, 49], [100, 100, 100], [10], [8, 243], [5, 5, 5], [101], [-1, 0, 0, 0, 0, 1, 1000, 1000], [5, 6, 8, 243], [8, 81], [80, 101], [5, 6, 7], [6, 7, 8], [10, 10, 80], [4, 4, 4, 4, 4, 5, 6, 7, 8], [5, 6, 7, 8], [7, 8], [5, 5, 5, 5, 5, 5, 5, 6, 8], [81], [30, 49, 50], [10, 80], [8, 243, 244], [6, 7, 51], [10, 30, 30, 30, 49], [0, 80, 100, 100, 100, 100], [100, 100, 100, 100, 100], [-5], [100, 100, 100, 999], [6, 7, 8], [-1, 6, 79, 80, 80, 81], [], [80, 100, 100, 100, 100, 100], [-100, -99, -99, 0, 80, 100, 100, 100, 100, 100], [100, 100, 100, 100, 100], [5, 5, 5, 5, 5, 5, 5, 6, 999], [100, 100, 100, 100, 999], [10, 30, 30, 30, 49], [81], [], [10], [4, 5, 6, 7, 8, 8], [-100, 80, 100, 100, 100, 100, 100], [100, 100, 100, 100, 999], [3, 243], [6, 8, 8, 242], [5, 6, 8], [100, 100, 100, 101, 999], [81], [6, 8, 30], [243, 243], [100, 100, 100, 100, 100], [7, 51, 101], [80, 82], [30, 100, 100, 100, 100], [7, 8], [-100, 80, 100, 100, 100, 100, 100], [7, 8], [100, 100, 100, 999], [5, 5, 5], [100, 100, 100, 100, 100, 999], [49, 50, 999], [5, 80, 100, 100, 100, 100], [], [5, 8], [-1, 0, 0, 0, 1, 1, 1000, 1000], [5, 5, 5, 5, 5, 5, 5, 5, 5, 5], [6, 7], [2, 4, 4, 4, 4, 5, 6, 7, 8], [4, 4, 4, 4, 4, 5, 6, 7, 8], [80], [30, 49, 50], [], [100, 100, 100, 100, 100], [10], [6, 8, 9], [-1, 79, 80], [30, 30, 49], [-5, 100, 100, 100, 100], [30, 51, 100, 100, 100, 100], [7, 8], [10, 10, 79], [10, 51], [80, 80, 81], [80, 82], [], [], [80, 81], [8, 243], [100, 100, 100, 100], [6, 7, 8], [100, 100, 100, 999], [-1, 80, 81], [100, 100, 100, 100, 100, 100], [2, 4, 4, 4, 4, 5, 5, 5, 6, 7, 8], [80, 243], [100, 100, 101, 999, 999], [5, 6, 8, 243], [30, 49, 50], [100, 100, 100], [7, 8, 29], [100, 100, 100, 100], [30, 30, 50, 51], [5, 5, 5, 5, 5, 5, 6, 999], [5, 5, 5], [-1, -1], [100, 101, 101, 101], [0], [80, 81], [5, 5, 6, 7, 8], [100, 100, 999, 999], [5, 6, 7, 8], [-1, 6, 8, 10, 10, 80], [-1, -1, -1], [-5, 30, 100, 100, 100, 100], [4, 5, 6, 7, 51], [99, 100, 100, 100, 999], [2, 3, 243], [-20, 30, 30, 50], [5, 5, 5, 101], [-1000, -1, 0, 0, 0, 0, 1000, 1000], [80, 243], [4, 4, 4, 4, 4, 5, 6, 7, 8], [5, 6, 8, 242], [100, 100, 100], [8, 29], [-1000, -1000, -1, -1, 0, 4, 1000, 1000], [80, 81], [11, 30, 50], [100, 100, 100], [50, 50, 51], [5, 5, 5, 5, 6], [81, 99], [5, 5, 5, 5, 5, 5, 5, 5, 5, 51], [5, 6, 7], [101], [80, 100, 100, 100, 100, 100], [80, 100, 100, 100, 100, 100], [-5, 99, 100, 100, 100], [-1000, -40], [5, 5, 5], [7, 8, 30], [4, 5, 6, 7], [-5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5], [], [7, 8], [5, 6, 8, 243], [3, 243], [4, 5, 6, 8, 242], [7, 10, 80], [100, 100, 100, 101], [6, 7], [], [100, 100], [80, 80, 81], [5, 6, 7], [100, 100, 100], [-5, -5, 100, 100, 100, 100], [100, 100], [1], [], [-5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5], [-5, -5, 100, 100, 100, 101], [5, 5, 5], [4, 4, 4, 4, 5, 5, 5, 6, 7, 8], [5, 5, 5, 5, 6], [0, 80, 100, 100, 100, 100], [4, 5, 5, 6, 7], [10], [81], [243, 243], [], [80, 80, 81], [0, 80, 100, 100, 100, 100, 100], [80], [5, 5, 5], [-5, -5, 5, 5, 5, 5, 5, 5, 5, 5], [80, 100, 100, 100, 100, 100], [-5, 30, 100, 100, 100, 100], [-1, -1, 0, 0, 1, 4, 1000, 1000], [100], [-2, 4, 4, 4, 5, 5, 6, 7, 8], [10], [8], [100, 100, 100, 999], [100, 100, 100, 999], [80, 81], [100, 100, 100, 100, 100], [7, 8, 243], [30, 30, 50], [9, 10, 30, 49], [6, 7], [-100, -100, 100, 100, 100, 100, 100], [], [-100, -100, 100, 100, 100, 100], [7, 8, 30], [10, 10, 30, 50], [7, 8], [-6, 100, 100, 100, 100, 100], [49], [8], [-1, -1], [5, 5, 5, 5, 5, 5, 5, 5, 5, 10], [8, 8], [1, 4, 1000, 1000], [80], [], [999, 1000], [5, 6, 7], [7, 8], [100, 100, 100, 100], [-20, 10, 30, 49, 50], [0, 0, 1, 1, 1000, 1000], [100, 100, 101, 999, 999], [], [100, 100, 100, 100], [50, 50, 999], [-60, -40, -20, 11, 30, 49, 50], [-5, -5, 5, 5, 5, 5, 5, 5, 5, 6], [100, 100, 100, 100], [5, 7, 8], [5, 6, 7, 51], [30, 50], [80, 81], [100, 100, 100, 999], [], [49, 50, 100], [-5, 99, 100, 100, 100, 101], [], [80], [0], [-1000, -1, 0, 0, 0, 1, 1, 1000, 1000], [100, 100, 100, 101, 999], [-1, 0, 0, 0, 0, 0, 83, 1000, 1000], [4, 5, 7, 8], [-1, 80], [3, 243], [-60, -1, 6, 8, 10, 10, 80]]
    for i, (inp, exp) in enumerate(zip(inputs, results)):
        assertion(candidate(*inp), exp, 0)


生成的代码:
def maximum(arr, k):
    # 验证输入
    if not isinstance(arr, list) or not all(isinstance(x, int) for x in arr):
        raise ValueError("arr must be a list of integers.")
    if not isinstance(k, int) or k < 0 or k > len(arr):
        raise ValueError("k must be a non-negative integer and less than or equal to the length of arr.")
    
    # 对数组进行排序
    arr.sort()
    
    # 提取最大k个数并返回有序列表
    return sorted(arr[-k:])

错误信息:
NoneType: None
