# isabelle_session_info

session_name: Euler_MacLaurin
sources:
051fcc02cf15db50e658fe345f69f729bfd1c807
0a65af2705eb2451119f81cf1a0ea66dbcf4afee
1fda4c86b608cf767e7cf29a052ea214566aa18f
306614ae7e125cd238a3bba7fd3fa5e2d2176f65
53c6fec8bd0ca1122e97880d460225de71ccca78
7a61723775dec821afd237b9885373a241d51613
814d1b5c3b9fde517facd0971e3dbe2cf6237736
8fff487090b7d56a5d0ba46c2d70e800f01d9f13
ce9622447b37ca4392b5384f7e5b0cddbf2a6d58
ec2e32f7118a1d1dc54d9c254cd254eb1ddca842

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
e50af90258c1ac1951ef5f989d4c925fa138d449
2a2323082de30af594ad8800e3610fc181ec79f5
f13c4eee76f6f4eeed93d34e6e99e61603cad6cf


