# isabelle_session_info

session_name: Knot_Theory
sources:
064a99e0228bfbee5dff0975f2f583b7fdfe82df
0791caee842d92fb3623ec7037e72594ed8c7594
2b42617af41072d7762f5bfa400cd99d82fd496d
2d78fcff1313f9aaed0ef042090b78930fcaa42b
54d74cd842a4220878eb9978829d2ef4538facc0
5fd51013b59bd96e2219d8a4e9ff24f0af1197e7
6860ddd3217e8ce41bce6105b6237ce957c8953d
838f958b45d76730a0be92b27d51a00c732b3a44
83d2fbb1947d9dc5b1605d7a77254a9bbe15644c
8f84fc084034f611cdb3b792ae41b58c7873a476
99a313f1db1e1572443b88b26b1db53bf14520a4
9ca8f328873559e24229cc92cefe09444f9a0571
a6f0f490de8d2246e38864ef63a47d8d22899e1c
b16dc87f1e818bf07923465aad4ebad60ff4c699
d5811c256d1f5f63acfe072e533249cea8d7e4fb
d94fd4e64dd860eec80e1b578bcf1f6d4c1e7b9f
ebf3d4ad779ba7b015769b98237cdbeef1e03d52

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
e89de90d18201999edb9d0c4b8a208bce353f9c8
7ebc9ddc638dfdf1601dc447d60583b7418b3480
030fea858da4c071cd4940a954a9be61fdf497f5


