# isabelle_session_info

session_name: Transitive-Closure-II
input_heaps: c27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3
sources:
06449ffa42e3ad9928207f59223e44cf25b2ee37
15e3687955745d143d84e0b661213649ef7f89f5
19e2cf0910b7071efb7af8472164cf296f5e5ce5
52b0aace9d7980c050fa4e0a384a785c607e5f31
81de4762b4e143259c5d9fb6b097811906b676c1
97b061e676e9173b1eac47f01f3b6bf0c7fa76ea
9e28e11077bea674bfe6e77946d452d3f3c83bc7
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
b3ea658d95c733cf18f45296a0c53b2b9aa81b62
cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25
ec92008245efcc8529cac7bd0a7e407a8d923d73


