# isabelle_session_info

session_name: Corec
sources: b9e61dde52d97b29c30e69b23a4083ee2e946452
input_heaps:
5a3b6f7b3e61510e7fd7048ff8c15610e20e90db
0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22
7d6ace8efc9926ba6a003be1352839d967f4c325


