# isabelle_session_info

session_name: Eisbach
sources: e150d40b4518ff7ed7c0ac96e72cd4ad5e2234ac
input_heaps:
157872e777819e45a1354c5e9b25a0e090aab99b
a20ae71f22856b1683f32d476fe747cfb705bad9
99b853e2adcd3e02103bc610d901012646c96b0c


