return op_def_lib

Input:

Output:

Prompt: