# isabelle_session_info

session_name: Hermite
sources:
0ecbeb6985371fdbf44a0f33f3cb0a5fe08ee670
478178a46079a85e3bcba86bdbe3ed77352bd9a4
5a591ad33ef46abf86e4540006fb778ce9ca002d
e9bebdf05d120266d95742efb3f9f02ec59295ea

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
42e138dd2055b0a1db4a1f3a058a8966ebf86487
1fe2c8a4d856bb74a115ed2eee4872068da44778


