# isabelle_session_info

session_name: Eisbach
sources: 07b692d18219c5cf1354b3e15adaf7f52c68d4a3
input_heaps:
071f7fa30665cd1599ab0688c2ebc3134f4d53a1
9735cdf9ab52c04e2b30aff2857f0646f946ff29
58adcdcb11d3006c8bfdf8f94e7a58fe2d406913


