created file let_efficiency.sml