# isabelle_session_info

session_name: Knot_Theory
sources:
064a99e0228bfbee5dff0975f2f583b7fdfe82df
201e07e8b85a4f9004862d0cbe9b7b980922084e
2b42617af41072d7762f5bfa400cd99d82fd496d
2d78fcff1313f9aaed0ef042090b78930fcaa42b
4028b5a92ba314841f49943f7400ea672a8df6bd
5fd51013b59bd96e2219d8a4e9ff24f0af1197e7
6860ddd3217e8ce41bce6105b6237ce957c8953d
83d2fbb1947d9dc5b1605d7a77254a9bbe15644c
99a313f1db1e1572443b88b26b1db53bf14520a4
9ca8f328873559e24229cc92cefe09444f9a0571
a6f0f490de8d2246e38864ef63a47d8d22899e1c
b16dc87f1e818bf07923465aad4ebad60ff4c699
c781a5f4788893bc9c14b49b5202d4f9d56d9aa6
d5811c256d1f5f63acfe072e533249cea8d7e4fb
d94fd4e64dd860eec80e1b578bcf1f6d4c1e7b9f
e626a6c1fba6792677ff192ab07e8106723253c8
ebf3d4ad779ba7b015769b98237cdbeef1e03d52

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
a6a16e40ad87afab83f33eaae30485b158982f6a
54d80cda114be2d17c9482acdab00401e744c35b
29e686890b17a173ea50ab148e84f60d89ca157b


