# isabelle_session_info

session_name: Hermite
sources:
6284c7e5391672fad7893c11576da65fe045d9de
65464c5d9dd95a24dc91392b59bb817a3d282213
98409beadb96c756d3cf69e50d03de418964529e
e9bebdf05d120266d95742efb3f9f02ec59295ea

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
7a682a676d8a84f583e52b3d25f7f4b30d4e186a
4f57675282beb9f09bafaeb1db7bfe9d12d7e2f9


