# isabelle_session_info

session_name: Formula_Derivatives
sources: 2934af6561a571aba1090c7b2c17b0ba4e6fa9ab
output_heap: 0e509a83d0f9bb1639de940d4335f43715a92ea7
input_heaps:
adf620958a483c5d99eb8b585d74e10e62aa36e9
592c3e8fc1a619dd78c917b8e580c01545553e05
7f7a591899a16f1d5cfcf0a06257c984af4b4605


