# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: d9a02c866373c3b61dcb0a1cb71c1be5c78fe386
input_heaps:
ebe1e700d1ea7c31a82b493fe8285299f0402806
6870c15ecc01bf16aa8d754cd67c6996a7d04f84
2979c501e997637321ee59ab2744f9c8d6aed583


