# isabelle_session_info

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

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146
75755b7aaf215cc5bcfd42b54128d176dc1c204c


