# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 9a9e7c28ce346d5ae547b3fa06eda2e812b68bd4
uuid: 6878f585-afe6-41ba-80a0-f05ee693a1d0
input_heaps:
7c6f2b7437f5ebb54c9c7f19ce0aa45616568bd7
be8131a433bddd63b748362726e9657753469013
b5dd907c121bcff21cc1c1562d33b1bab21bbfa9


