# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: bbe485f0872bd47a273e075d39a11dc24825296f
input_heaps:
a3bae4e613aef271245928f0d52c8526a9c66f82
8e2207a978992101b4929ff8d1549e71615ce106
aa4d73687270d7a85aacd9ddd73630d002635adc


