# isabelle_session_info

session_name: Formula_Derivatives
sources: a7a608dde18a3a9455a38ad7e851e0eb78b4a53b
output_heap: 3e019979d2f392f2e3ef7e03326e17d1aa518bd8
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ad6d44f7aedb014e340bd82c93157922e7ad3f04


