# isabelle_session_info

session_name: Formula_Derivatives
sources: a337d8c967af347f86b29567e8f79c7aa5fe1c4e
output_heap: a49369907aa6c83de45d2e2cd48ed228b7931060
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
24be91445dfd95ccebd8630650aef4cacbc92e8b
19cc2c37b59cd619e8d5c50b1c9e3eeada232480


