# isabelle_session_info

session_name: Euler_MacLaurin
sources: 0a173ea964d2a6e577956a4dfe139dd8433dff42
output_heap: fc9627f43952e85a3003a7c6dbabff9d143c75fa
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
3109ebb80bade0add97a25bda6f087f50eb33144
5ed741422966976dcca73ffa2573e1daf423adbf


