# isabelle_session_info

session_name: Eisbach
sources: b0cbaacaa4933f86446139019c52a407e3a272c0
input_heaps:
edac997306bdbbc7a1ea2002f2641008ce6aae62
b77918cb16b79b554f672156cebeb1531c9272e3
52eb348a29c2672e4466639fe8c683740f1bc857


