# isabelle_session_info

session_name: Sledgehammer
input_heaps: d38e002fb81c6e684e22dfb9a00446f1cfd993cd
sources:
457d02a572a0fdf5e6d683531094ab0706112941
457f4c5026ce379cc2a1fa11f4e389a5c0d08cf1
6f867450526f639ab6f95163750372110e48921f
8f194db846e67a7e87b25a27fa8ba1259c4af82d
a634d2977750efd14daaf8018feb1fdee3310b68
d903177e7c82225a5aaee199b80f63442cdf13fe
da1567c528c0591b76c11bbf612dc90f71ec564d


