txt file for lambda calculator