# isabelle_session_info

session_name: Formula_Derivatives
output_heap: 95f2df4589e903e9d44cd85fed408e20e8a9b496
sources:
02d5237ef871c88f838159515d9965e27302652a
08be19446d72f9bcdf2a842a89088d9869228a5e
0b69d8c3f70856201e8c054bc34357b13520292f
162c573bfd6d0dbedbd71b9ccb456e18b50520ab
2bc18d57ea87da2d3db0a06a6e5558a6dd698150
2ca548f124bf08fde0c7f05baed9105248d232a1
2e8dd58e2ede383cbc7fcbaeff3b051892ade632
37e048eca1afc2c069cebaffb562a02b039bb22c
62db7c2f912509ab5e52563a32412f6c53622264
6f8136ceba3713d001ddb764034b75ee7bb7cedf
79f31440868c5686b204e83e4f26f92eb8d94f9b
7fdb4fec52ca3e0a01be6b2d7adba337b9100adb
81079b0457a446db3c53d4432183a93815b8f87d
83d386830f9f18d0c29e2bdb52dcbc69301b4b34
92ef8673dbf56fa45fe297aa8430853ec2664e0c
9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078
9c580967da24d52b7f0197b4845b4404e56acc0a
a526ece146642d823be07862c7c8488392c4dd25
ab1c48abdb17af0a158be277afbc6158a19dcdb5
ac96382edb0bcdef9881cf038c8d88c412324c4e
afee1df8582fcdf78ea8abfb886bea1d98de8d26
cad26a5363199d5e2c3f1d3dce0584976f199296
d984bd91b3c24af3b069d46db03ceeff6cf25e56
daa5e0248528bca893daa43713bf4e7fcdba0c72
e2c09e662aa72f8a89f704a137916d861905c39b
e9f40a9bf9ed4817d3092fe55aef8ab16f8b2f08
f2f4afb38c731283e41c4acb938bb42ebd846f4a

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
fd75a6d445e5afaec4d07c698e0e0aad8327d77d
df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b


