# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 0b96f240a00aabc830e7af7bd7db22ead47a4332
input_heaps:
dcbe989a010ea70cd819f355bd4cd2182a8609cd
64c625505f6e5dba88645004ef7077320ae65d99
198ff5e37ea5bafbfaa144e0a97ed350c8e78da3


