# isabelle_session_info

session_name: Eisbach
sources: 36a3d8edbb5f742b6d1b92d471a63e201accbb1c
input_heaps:
848658d617e1d31408814b70d854f0969b4d3dd4
982c966f6e75dd78217f02ee347fdcbadf6f26c2
59c8fab7de1c0d203c6c22f0aa66130924988f27


