# isabelle_session_info

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

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
c56ae9d5441b629f77cadaa07ce128a6fd02d228
eaf37427e14379c6b5bb0549a2d41983fecb41e3
662e2c93275b3f9c97faea279c1f2e9b30a29203
3a002d6a995019df178bd168faef100dc685caf7
fc5b76e3afe313ed8a38439c215243862ced98fd


