# isabelle_session_info

session_name: Knot_Theory
sources: b1bc443bc93a61d0846631d211d8b53cda126cbe
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
03989dc119440e078d11e8176c7844190ed072f8
20f232f8daaed317499e4a336e8b16af450cf8d0
2ea1f7607dc72c9c1b586bb205e2893de69e027d
a1ffe9e6f88f485d7db48e182c9cfb7b6a867ea1


