# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: f930b048f83d978ba030032e0d5aea41e4f6f001
input_heaps:
960aa29045dac4afcbcc06ca53439cc870a14802
5c73c0af1bf02f2fdf45f168079bb297a1f3e53b
82028e0d64e743008d94ac2a3763924c3ae5e636


