file lib1.sql lib1.sql.txt
in Input input.txt