# isabelle_session_info

session_name: Eisbach
sources: 0a83f1513d574745393a65c64a0d6c4e9d312ef6
input_heaps:
12f9c2c1cca7af0c05e4d69fe4a540e3eb4f44f1
46ad376ad2a6dd11847ad9345c3b8c722d541914
8a3bfa220eb5077f49e8dd09c9104615b7e646ec


