# isabelle_session_info

session_name: Transitive-Closure-II
input_heaps: 7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56
sources:
06449ffa42e3ad9928207f59223e44cf25b2ee37
15e3687955745d143d84e0b661213649ef7f89f5
19e2cf0910b7071efb7af8472164cf296f5e5ce5
52b0aace9d7980c050fa4e0a384a785c607e5f31
81de4762b4e143259c5d9fb6b097811906b676c1
97b061e676e9173b1eac47f01f3b6bf0c7fa76ea
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
b3ea658d95c733cf18f45296a0c53b2b9aa81b62
cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25
ec92008245efcc8529cac7bd0a7e407a8d923d73
eced3752da9d0706834ff9435cecf72ddc7e57d6


