# isabelle_session_info

session_name: Transitive-Closure-II
input_heaps: f0df918d4045ad6c60b23213b65e87e41842eac3 2ab5e6cf7f6e687da873dcfeefe3198ae54a3c71
sources:
06449ffa42e3ad9928207f59223e44cf25b2ee37
15e3687955745d143d84e0b661213649ef7f89f5
19e2cf0910b7071efb7af8472164cf296f5e5ce5
3d085b2f15013ab9cdd8983b82002e5b7e45d759
3de7c091d40740d576bd990b6f5a920ee818fd3c
6b3f34b31437c70042e95bdd0a1d13e4c08cf201
81de4762b4e143259c5d9fb6b097811906b676c1
824ffdd9ada10c2f424ff25f9c7b62a127a40fd5
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
b3ea658d95c733cf18f45296a0c53b2b9aa81b62
b5a82d0be567f21be5d0c220748cba12fb66d881


