# isabelle_session_info

session_name: Hermite
sources: d02e098db32aeda36d643ac8d6621df567c6ca5b
output_heap: 9f2a35f0a0ce9b8b3b315ae52ab47f87a049bedf
input_heaps:
e9a2742a9719f5ffc5f20b8afc6477c5b3ed39a9
dc09a39d76722c2f6a77403e12e7aac18c8f9fa4
1339eb1ca36123670b55199a5d487b279070cb0a
7040b48c5f9691e9856ca536c7b1be6bd3e96a1c


