# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: d706dfbe8068b2ae10d1faa6760f0ec2aac80561
input_heaps:
9cd3c53d80170445c84eedf6dd4ed5c742828d4c
1b7644e4ef7c7bda7fb3cf22b79d9258a3aaba9f
40c085545166b0208638b4543edc0e83878ec9ff


