# isabelle_session_info

session_name: Corec
sources: 055b9d2dce46024d055a33cca8a6e1c1208cf140
input_heaps:
1795f3a7abed9fc1d9546e3552e224994a90ba84
ec123dce693829f016aa17c5552e2b7e72eead89
f20008e4f2eeea525e1ce1d4d93619f5cbd7f269


