# isabelle_session_info

session_name: Eisbach
sources: f2d5c08a6165d65584a793d209bb27f59d4e6c7e
input_heaps:
5854d6758689c83aab18dd02aba520db4dc6bf79
c08feb1745cb050bd06411837cf1536009c8c293
ff7e5bf139f9d0c09a1e49e24e18f54c9c152726


