# isabelle_session_info

session_name: Corec
sources: da7ead11064dd98db47364d23429312af598e4c3
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
dd820facb07e73b2c93e51e4d0b3041a08b59568
b2e3c89799b3da0de68fdc28ac9e183670a34f67


