# isabelle_session_info

session_name: Knot_Theory
sources: 6c1597da3550d40e0b789cfd036c167d45c3c1b2
input_heaps:
f42ef1fa33b2bcf7f41b6d59156a15f0915a3353
e231d8a0cba58c5d3b81b383eb6beb7946babf5c
af4bbae4b9ea16b6b597e756483e87e8d6441217
1bdf61fb3bb32963f99a3584a9de6ffac537de81
9772374a9ff701e46f26e6a3e9e01e33f46839ea
6afe14114cf162bda278a807246f5c0b2c122312


