# isabelle_session_info

session_name: Hermite
sources:
0ecbeb6985371fdbf44a0f33f3cb0a5fe08ee670
478178a46079a85e3bcba86bdbe3ed77352bd9a4
ae430016981a1bbc439c293be189b1f578fd82c3
e9bebdf05d120266d95742efb3f9f02ec59295ea

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f
95bb6ecedfa4c9efa2a15faa30445e40a0c7f96c


