let
def_output_size = 1000