# isabelle_session_info

session_name: Knot_Theory
sources: 5cfe1875654ef2ccaea492504f4334fc52299aeb
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039
393da0dd488921eeafb571f21f89355097cea237
9b9756975e5fab758b01eafc10269074695d30b2
82a86cf3747d85cd8ef2fb51e11e5b05befa0181


