# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: ce24ac396efce1f60aa61b8b72ccac06f8666a9f
uuid: f7ad44f3-1360-409e-a4ea-b943e703ac6c
input_heaps:
99aa1dee31dfa0d453b64e417ce1ae8b896c3602
2d57dd9f95ebb02243d5cf26c23b4f5f995f70e2
338bc3c334e08f897fae0355c1fe3ae12b9a40d3


