# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: dcf5f54dcd41c333e04b24c69425b9b8151faf0e
input_heaps:
8c69b9efee18f61099e59a5c1105f587a7f8c9a0
35b3c51d1ce4ea0bc62a27bf61e30c51ec73a0a1
8e6c1e2b8d4de3a28b031281de30e6f9c83d2f88


