# isabelle_session_info

session_name: Knot_Theory
sources: 05a8a6c86e426fbe9520218ee53d90b6781d1127
input_heaps:
c58d21ba3dc8b698b4c6d36f436849048b45c256
c642f89151926be6cc7824e0701f1f7d684cfe9b
73b47e28ecbfcbbc455d66c78eb653314a508e0b
398519e3e7e06a1925ce891c1808b92ea87ded21
71c0143ea0d80abe563e2208d6392d0f984e1683
0f7b6b8cb636246ff133705317f4adb46be34a88


