# isabelle_session_info

session_name: Transitive-Closure-II
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
sources:
06449ffa42e3ad9928207f59223e44cf25b2ee37
15e3687955745d143d84e0b661213649ef7f89f5
19e2cf0910b7071efb7af8472164cf296f5e5ce5
52b0aace9d7980c050fa4e0a384a785c607e5f31
6f5dc4f949bd625cba1d67af81356e7eae4e8826
81de4762b4e143259c5d9fb6b097811906b676c1
8c3f98f76e059da6db66aa785d3bc61a80f5b332
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
b3ea658d95c733cf18f45296a0c53b2b9aa81b62
cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25
ec92008245efcc8529cac7bd0a7e407a8d923d73


