# isabelle_session_info

session_name: Corec
sources: 663156cc6307d6dd907ff8d4bea677f05e466c7e
input_heaps:
87d722a51b70602a06e4a7b7d793ad6a8bd08e87
b7feff3cf6fa551286ad5206b08f8a4505f29591
98ee288990d9cf62e1973a3cd234c27bdb3fd3e2


