# isabelle_session_info

session_name: Euler_MacLaurin
sources:
2a520005f639cc84917fef3d76c5280ae597315e
41b244e38b9dcf2a2383280100c9bf932c3480ee
7faacea3132e19758d41f036c38f361fca85d9b4
814d1b5c3b9fde517facd0971e3dbe2cf6237736
867cd9cdf2e7d72b617425bbc782b12dd5c05e3c
8fff487090b7d56a5d0ba46c2d70e800f01d9f13
ce467224e3636326f324714701da868454d5dc1e
d41e5980709a88f90c6ee6b3765d0cf53450aa57

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
7a682a676d8a84f583e52b3d25f7f4b30d4e186a
0370b25103025af935263fa23188c7fd7c232378


