# isabelle_session_info

session_name: Formula_Derivatives
sources: 17e4b4b3a6545822a3085cab7b7996458aec584b
output_heap: 28e74ee29ce2ad84acd65ebab8aef0257578548c
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
80050be4066a2dc41dde228522a53110fc50a122
ba77dadcae147c3abe446d173cd63ef2f4737176


