# isabelle_session_info

session_name: Transitive-Closure
sources: e7baa5251b9734c5d36a2a1f860989f676005b6b
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
24be91445dfd95ccebd8630650aef4cacbc92e8b
b3236b6df2e2e8018a5749ce69b0bb14cb868fb0
b776ab859f0056db5fabbbc4984a3c899dda1a68
db5c5beada1a438a833513643acb0e79b386613b


