# isabelle_session_info

session_name: Hermite
sources: f1e9ea29657777f43792b5990bb887cd302908f7
output_heap: 9b0d34025292130b4aa79ea866adbb017f8a57ad
input_heaps:
7527c097151a176fe2b7115e283a3ad22f3623eb
46d6d70bad25fe7d15998c1bfe8de29513678f57
34f017f50e8f9831899f371b93beca4f99c352ea
b40c84327b4b1c4768cfe5e62abf5d67ab390cbe


