# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 2a34df5ee7889200ebfe57f544d5ae796bc41d4b
input_heaps:
eddcfa062a672f0dad34c5be0cd823fee08f5bb1
6803283bac8240f6b1c8d22324fa1bb842ee176c
521298a7f472fd1887b13cd77adf687f3f4f5b78


