# isabelle_session_info

session_name: Knot_Theory
sources: 907074d7edf3bfa03fa09254b14804159414fac7
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
a29a84bba8aa29c804c447ecf6bc83360b3be33c
402ad8d10c053d7ab99109311f4289da20bbcf70
40ac33cbe7955f0ca8c0210ee21e69c8e464b24b
dacbd4ba61e1bc741055e1dc272b6775113c717f
17ddd1ec6335ee24ac72d943f5d228cfd0a8264b


