discrete_mathematics_with_a.../leftoff.txt