# isabelle_session_info

session_name: Hermite
sources: 8e993e8c3b754cb7895833bf2fb0e4626ecd78d8
output_heap: 270ba8fd7f3030043e8a48b7a897ff3f60019c16
input_heaps:
4b079fe610649cd37f98f05ad7c20586ef43ee64
74523ca0166e9eb6415b2be2253b4d5ef2f75bfe
60a083209646399dc33e998f5b147c9049498a09
0a18af2603e687e45faf7293b695927f18f7c80c


