# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 839825303337941a8b857dbe8d57b2a89e740b94
input_heaps:
5854d6758689c83aab18dd02aba520db4dc6bf79
c08feb1745cb050bd06411837cf1536009c8c293
7271a6f3055196bb6a0ac343f4ffc38731eb5742


