recursively enumerable set

Input interpretation

recursively enumerable set