# isabelle_session_info

session_name: Hermite
sources:
0ecbeb6985371fdbf44a0f33f3cb0a5fe08ee670
942623f0599590c73c432b353b2524ba88148e74
a61c59746c01447558c5a53af6c8e57274024ffb
e9bebdf05d120266d95742efb3f9f02ec59295ea

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
53c8bd6cd9b4e6659e7c8d26458e89775080e70f
0c48af7c014bb3a9ef1ea40deaa6aaa061d67788


