# isabelle_session_info

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

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382
38e9905181602a320340a0cad27ea92de6285748
84ded59b1a2f7fa0bbce80ace6919f0a164bbf83
7b9c2b3a5f91068fd5e41449bf23fb678a8bb6d0


