# isabelle_session_info

session_name: CYK
input_heaps: 735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
sources:
50f0096c49c2bbf48be7c1fda97224d10c974fac
5eb00cc4d9a70dcdd682585bd5fae0f37f7e2097
99861fa07fe03ba8914f3d53c7de7c7ef6deaa02
ad5b67e29573926d3c9af3c34856b90c341449df


