# isabelle_session_info

session_name: Transitive-Closure
sources: 2056620dabf45b2f01a64c729db936cbf4fda4b1
input_heaps:
620eadff725bc3b05da1385b39718d4bda69cb83
d38c17f13a61f3f3f61d0943e214e1b4c397de15
880a11dd6b6fd6ba3553e480b625ce342734f11f
598caece2381f7636be86fe9c69eb088df99b446
d3799f7491dc7dc39b40794307e366b2de529542


