# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 6e46d8103e8a1cca65b0c6a73b1d5e7c84d92165
input_heaps:
ca44b1aafe88a973d88656dba67bfc0ae7f1c9d2
6d1b666fc08cae9ea800895da99c2176361f966d
fdc1926a6a1d4a0f943f3e4a0a3adf6d28dc3481


