# isabelle_session_info

session_name: Knot_Theory
sources: 631a38fbf8125b1a2420763032911da825381936
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
bd9d5b59f62cee787b745a18e37ce78675bf828e
51bca5798766ae8b6082d8e3253d02652fec4031
b11608f1c895e00cebfc586d33b531465e7353e7
1a32ea037aedbb16ef098c062985237cf39df944
6a29f0fbe3185e771a0df24994886132e7258244


