# isabelle_session_info

session_name: Eisbach
sources: 844ab7427203c41c349cebea00d4ec141a3456c4
input_heaps:
0c5a4afe0b9501e0ce9b4d420c798cac3bea6e73
d8f435e385accbfaccb5be9a9486618794bd571c
77333312b6dfba1c7639f5748c6e39aabfe3985e


