# isabelle_session_info

session_name: Knot_Theory
sources: e18258d00b8b896b0d7911fa30d2e875aaf31bb0
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ad6d44f7aedb014e340bd82c93157922e7ad3f04
73c48e0591b5bffb5348467f27a424ede52f8172
3dc48a0e5c93450e0bb81787c5e04391d886100a
69199f0b44437d994eac137d4d40a123b80545f6


