# isabelle_session_info

session_name: Formula_Derivatives-Examples
sources: f5f36a09d6284a33cb103453931ade29dc83a455
input_heaps:
273a065aaa7221aeab8448251fac00a4433003aa
0fcdd58951088670fbae5cd9e72226e1766c6271
dbcb7bef3b63bb360af32d7e581210dfd03b597a
6d03043bf46ac74831bc4c805a46bc41c4f2ec5f


