# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 9fb4daf545486c4bd90f50b2e725291a1aa8fc34
input_heaps:
4dd43a72c508768fac50cdef9695e95242e7fb38
312ccfaf33cb10192929cf5a1eb5ffba69430935
3320c015b4f519af7407bed7ce2713b72d3dc691


