# isabelle_session_info

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

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
e689e4dd8e5b66d1ce0438e4d78b37235fa465f7
ce1c7b6a97544f883e886e65c9ed5b8e0e6548fd


