# isabelle_session_info

session_name: Hermite
sources:
0ecbeb6985371fdbf44a0f33f3cb0a5fe08ee670
4179fe3432dab15034779bf4ae7667b8a33e35c5
5a591ad33ef46abf86e4540006fb778ce9ca002d
e9bebdf05d120266d95742efb3f9f02ec59295ea

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
41ca8b1ef880b2caab86f2e624d077e228a12ed4
a1d4e989ad1a700e9d30ddaf5afc0202077fceef
081e2ea43e234aae88c54c36bdea8492ada09aff
000c31cfe79f77e59785b0781aea8cbf500999b8
7cfefbc4830680ee391ef8bee7cdf4ef47812c10


