# isabelle_session_info

session_name: Knot_Theory
sources: 24516302d9b68429a512e0b264da4767429fe52a
input_heaps:
620eadff725bc3b05da1385b39718d4bda69cb83
d38c17f13a61f3f3f61d0943e214e1b4c397de15
b289b2d35e21bab3230d78ec88be7bd1d162c47f
56ec07d4d2a1bbd2769fd32518e607b80bee259f
01c4a03e894f73fa69669295b7e7311af3aa0041
cfc651367a354883cdd770629de4c00bf6b084cd


