# isabelle_session_info

session_name: CYK
input_heaps: 9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9
sources:
50f0096c49c2bbf48be7c1fda97224d10c974fac
5eb00cc4d9a70dcdd682585bd5fae0f37f7e2097
99861fa07fe03ba8914f3d53c7de7c7ef6deaa02
ad5b67e29573926d3c9af3c34856b90c341449df


