# isabelle_session_info

session_name: Corec
sources: 8f2880edd819e8b9e134e75c82e505d2eb3a5c72
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
4752b948935cdfbca292d5e5db5db10b60e68f22


