# isabelle_session_info

session_name: Hermite
sources: 7503a344bf9c8b97b61b495ea570a9213c488e83
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
197ef942efe1b520e57810c9e607ada8b7573cc3
29eb86257cbdb2b81acd0a14bb5df8795da13aa6


