# isabelle_session_info

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

input_heaps:
07addc2441fed9b50c84968593d4ab6a353bb724
8db62e28615d4e139a28fa3d5b23cc3a3410b988
2c8670420f1e217147d01cec9bd2eec9fdce3aa3
c43a68050ffee06faec10563bb7ffc2d737fd7f0
7ce0db48f01026ebe144dff7adcf4aa7d9776819
1131fbab28322c07952319f7d54a2c032b643317


