# isabelle_session_info

session_name: Formula_Derivatives
output_heap: 75755b7aaf215cc5bcfd42b54128d176dc1c204c
sources:
02d5237ef871c88f838159515d9965e27302652a
08be19446d72f9bcdf2a842a89088d9869228a5e
0b69d8c3f70856201e8c054bc34357b13520292f
162c573bfd6d0dbedbd71b9ccb456e18b50520ab
2bc18d57ea87da2d3db0a06a6e5558a6dd698150
2ca548f124bf08fde0c7f05baed9105248d232a1
2e8dd58e2ede383cbc7fcbaeff3b051892ade632
2f372a4d4f671e58efd4e6e9ca1f3f5f9a6529ac
37e048eca1afc2c069cebaffb562a02b039bb22c
46edc4d10b1d6210beeef642bd9eb8912d19387f
62db7c2f912509ab5e52563a32412f6c53622264
79f31440868c5686b204e83e4f26f92eb8d94f9b
7fdb4fec52ca3e0a01be6b2d7adba337b9100adb
842c603df7dc1c02a9a2f87ff947524977a84aaf
8e852c3b701ead0f2ff15d7b3fb3a0466fe9429d
929727f4922909a6fbdd8944385294b38f95df40
98c6f3f02eb8f7c19f7711f9bff9451de0aab771
9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078
9c580967da24d52b7f0197b4845b4404e56acc0a
a526ece146642d823be07862c7c8488392c4dd25
a79155ee431f9a238d5508b35acd87e77e662783
ab1c48abdb17af0a158be277afbc6158a19dcdb5
d30263e2026e8adbb2e10db6c8fa6ed2591182ec
daa5e0248528bca893daa43713bf4e7fcdba0c72
e2c09e662aa72f8a89f704a137916d861905c39b
e9f40a9bf9ed4817d3092fe55aef8ab16f8b2f08
fbb5bc52daaf89239439027c20c211debeb65fb6

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146


