# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 3455445a8e6d6a431d76f8b1f3f29e1518623dd4
input_heaps:
c081b7c87e33948fdadd9c3bd5597db60c0da0f6
bd68f8fe00ee6f2978331c683c01f1c20c25fb75
3521b2f01cc64b5120cf5176005c03361efc087a


