input=lib
output=t