# isabelle_session_info

session_name: Corec
sources: bba700d24b13aae1710031542febc24c73f80f7f
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
0cf10e45680ae439599dd1e4a9dcfc11cbb36022
c937ba55a27e4ff8ab4e8614aa5251c94828806c


