# isabelle_session_info

session_name: Knot_Theory
sources: 09b63521af5a8b7dafc6a521ccbca6bde3cd882f
input_heaps:
0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
607b584e29337f48da7c2b7111a6e1bd83507c61
3d0667e85ef75ac10b3f67c9303a4f3b005e68cb
56830a25651c505d529a8c6f80d93094554016e8
1d66c2916d1823f99671789c44aee252c87d3e35


