# isabelle_session_info

session_name: Knot_Theory
sources:
064a99e0228bfbee5dff0975f2f583b7fdfe82df
2b42617af41072d7762f5bfa400cd99d82fd496d
2d78fcff1313f9aaed0ef042090b78930fcaa42b
2dea77144854b193440c4cf615e374bed3294e86
5c38bdff89b1c683b958bce65a050098a703f107
5fd51013b59bd96e2219d8a4e9ff24f0af1197e7
6860ddd3217e8ce41bce6105b6237ce957c8953d
7364e9ccf7ab42c119771af0b30c338443b40c92
83d2fbb1947d9dc5b1605d7a77254a9bbe15644c
898ab45b10354c08c7664fa5da76b546d9763f63
9ca8f328873559e24229cc92cefe09444f9a0571
a6f0f490de8d2246e38864ef63a47d8d22899e1c
b16dc87f1e818bf07923465aad4ebad60ff4c699
d5811c256d1f5f63acfe072e533249cea8d7e4fb
d94fd4e64dd860eec80e1b578bcf1f6d4c1e7b9f
ebf3d4ad779ba7b015769b98237cdbeef1e03d52

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
c9404b4528a270b446269572166306b5a65bc19d
2ef5e11da74b842cc77fbe3de570dd85419c50f7
f1a1c2cc52d5fe8abb609ba33693a1b297f20ca9


