# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 5e6cec7fbc8142af871e80d2dbdeed92346bed6c
input_heaps:
d68c97a199327570bbbc88bf3960f7f8ddebeaef
6559143f0d47d16e6a6701e66f7790a037da1ed0
58b1d73f55934cc15c4b14db928ecdbce9963615


