# isabelle_session_info

session_name: Eisbach
sources: 41ac20028506f9f849617a5ee2192b15227c7111
input_heaps:
b6a06941c7f4d32a9ff0b780ae34fa263f209f1f
17c087a835d148ead0faf3b05e4801803be6efde
9c4c0b0cfae2d71bae0f802bd44503e412ad1a2d


