# isabelle_session_info

session_name: HOL-Mirabelle-ex
sources: 839825303337941a8b857dbe8d57b2a89e740b94
input_heaps:
b6a06941c7f4d32a9ff0b780ae34fa263f209f1f
17c087a835d148ead0faf3b05e4801803be6efde
efb6ff269ed87f5cae620a29b5792743327487d5


