# isabelle_session_info

session_name: Eisbach
sources: f2d5c08a6165d65584a793d209bb27f59d4e6c7e
input_heaps:
3e7cae349853bb3f654071d127673716b1e97131
e76faa548233303457fe1f8acd3f956c35127c42
d16c6e98db4416d20e342c2993b75d32687b9794


