# isabelle_session_info

session_name: Transitive-Closure
sources: e379cf2975730f35fdf195af8940a099d33a54ac
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
af729a4e6d342a3e3695e8e3e475bfb4a0bf0acc
2768aaa4a23fce809c92d283961f61806db38dfd
1823b077992a4626748564433bd4917b63a8a4e2


