# isabelle_session_info

session_name: Corec
sources: 9d233bb868d38393a9c00e6dc47d193b10224897
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
05a03eacc3059078cac786ce4b0187a596b54f20
f7da4febbda88deda02b3cae213589dcf8d1f915


