# isabelle_session_info

session_name: Formula_Derivatives
sources: aede7e05ae766400ac8f582e89a18dcd153d1d47
output_heap: a8554939b461f0033caec6bed92cbeba5a392746
input_heaps:
9cd33e2f2669d2e2ef0833012528b204015b12df
e5cff2820287d96832c0244f64103884811e226d
8dec91fb776e1454bcd259b128d2077a5afa959c


