# isabelle_session_info

session_name: Corec
sources: a7172fdba292ad7300fcf472da64f16580f5916c
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
396d0aa27fb4be710b523275b50d20a1647bfeef


