Dependencies for free-theorems-seq-1.0

library