# isabelle_session_info

session_name: Formula_Derivatives-Examples
sources:
039578444c8697e7503153641d78581d411110fd
09e0808c0e37c102417cc80ab635572ecd263bca
25a2b8887c2ee6578b2fffeae037e3d6f40426a9
3122c5b55089566c74375976fd6040cc34c326db
51a785ecac441cc4bca5661de9d6edb1ce676e61
6235843687980d63073d51ae6145251e12da98cd
86c4fa7f41ca224435913dc3900969e202147953
96e21cc0c2f0606d6aa3b943d666b54dcdea77e2
f8bf8602b256d952d1aef972c9aae94ce29a6c15

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
c56ae9d5441b629f77cadaa07ce128a6fd02d228
eaf37427e14379c6b5bb0549a2d41983fecb41e3
aa10e18e81a7f25b4adebc535b87d12a3a42f29f


