# isabelle_session_info

session_name: Transitive-Closure
sources: 30082e06424b3cd251841401ddf1f03614b6f919
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
b2570be3314ffce30a94fb6d82651f19f907b353
29b5987e2a0975a8310ad8f1ecb8bfd55c699941
7273030803f799d159c1ffcfed10c0f1250662a8
d1dca124282e66d6e2b59d020581e33102c3ad6a


