# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 6b463669e3670e647e5e0ab2faae5f3a78408ba3
input_heaps:
f6cc2b145d15d262c0afc0172602b425d350b305
915e856effcd369d052d31f552bc63efb2f10515
070f88f127c3110a8c2169235808522a1eefc8a6


