# isabelle_session_info

session_name: Euler_MacLaurin
sources:
1fda4c86b608cf767e7cf29a052ea214566aa18f
306614ae7e125cd238a3bba7fd3fa5e2d2176f65
53c6fec8bd0ca1122e97880d460225de71ccca78
5a5e1fdaf975d1e550fdbc34edfc57f71789cded
5e57dbc24de7d25470c0f5cbadf3ccc7e4b3fcdd
814d1b5c3b9fde517facd0971e3dbe2cf6237736
8fff487090b7d56a5d0ba46c2d70e800f01d9f13
9092565032a5942e54f4ce64287816531265ba96

input_heaps:
19db22422d072d942dca4f79a146f700713ec562
0ce727582e1fcdc0d95ceb5a898ac2c38b5af35b
5ea6d4c9a179122eae31fc1e8edfaccb5e6cc241
6a327321e0b399ce697ece376e10d51a4594dd86
e4a4348bb1e58999453ff8c30c0d2fc316bf7144
a249d6946e9c41bcef3b5d1b27029af57b2f3bde


