# isabelle_session_info

session_name: Eisbach
sources: 07b692d18219c5cf1354b3e15adaf7f52c68d4a3
input_heaps:
61532b7245075d4ea33812447b32dabbeba07b4a
3994299fe9a4f467e063bd0b975546ec5a4970e5
c85644fc2fee9cf60122611b60476a4981c0a9f1


