# isabelle_session_info

session_name: Eisbach
sources: 6508e70012ba51b0e6b7ee9be87019be8489d84a
input_heaps:
5f6b46d75794d7d779141526bb8c5d38bc06bffe
14fad242a862a8a0327553b16251c149a42b3da2
772237e28b4abc3b95c2abab9a6d718bcdaa7f99


