# isabelle_session_info

session_name: Corec
sources: f8c8b0117d50c24cfcb132c25b4001e93cabd1ed
input_heaps:
4b4d09c9c1841a4f01c8958af89ec039a11204c4
f852689b23f90c1209b23c794bf5ab75a3b8eaf2
118ecff921e0ae22b7b64098f3faf2ac0f17b4e5


