# isabelle_session_info

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


