# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 257c76c5574eb47e8879e0a685b0f88226142af9
input_heaps:
e1147b3c6964ee34a73b496090d81315eabf9592
847a90305910414ab70d1b8a07a746397a90c4f0
80b0d7e17f3fac60542e792911684c5a0bfbeca3


