# isabelle_session_info

session_name: Transitive-Closure-II
input_heaps: e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d
sources:
06449ffa42e3ad9928207f59223e44cf25b2ee37
15e3687955745d143d84e0b661213649ef7f89f5
19e2cf0910b7071efb7af8472164cf296f5e5ce5
381df363fb5af5931f68add2be63eda5ce000611
3d085b2f15013ab9cdd8983b82002e5b7e45d759
6b3f34b31437c70042e95bdd0a1d13e4c08cf201
81de4762b4e143259c5d9fb6b097811906b676c1
84423e11b6d52228b0f687765f7ba7a489cbaf53
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
b3ea658d95c733cf18f45296a0c53b2b9aa81b62
ec92008245efcc8529cac7bd0a7e407a8d923d73


