# isabelle_session_info

session_name: Euler_MacLaurin
sources:
1fda4c86b608cf767e7cf29a052ea214566aa18f
306614ae7e125cd238a3bba7fd3fa5e2d2176f65
53c6fec8bd0ca1122e97880d460225de71ccca78
72a2c4c4342126b74d4a285201a6f4c6fa340530
814d1b5c3b9fde517facd0971e3dbe2cf6237736
8fff487090b7d56a5d0ba46c2d70e800f01d9f13
9092565032a5942e54f4ce64287816531265ba96
9ccfefc4fbb62f0b2c308d7a8947b1bd79b2b8a3
e4eb6861b021750a8f918a19704014fce9c75724
ec2e32f7118a1d1dc54d9c254cd254eb1ddca842

input_heaps:
c27a9b4598ca656eb9c36aba33ff1f22941d7b72
64354e2142aad138813a04882ec6c2904dd4a4d3
5fc9bc996dc88f5795916c8392ce9eff6dcc840c
303acd374f1059a135c35ac8641e7b77c085e960


