# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 1e5ace28f438c6cc4d5bfef8278987641a35e92b
uuid: d29c4d3a-1b4d-42fd-b136-3af45d08ca54
input_heaps:
f120b186b8c94c8dfd968762788edb0b6c1f4705
45a65a42f2948aee1b7614aa26f30387ccd4133d
e19c39bfb3a28ff6190560da43c0c7291dd743e7


