# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 1978d6fb5be30da5649acff0a95c05728cc6f764
input_heaps:
3a09df081446ee0ffc18a782a60162435ff26569
f98620677fe586b256f76996ab9fb926732156c9
95542376cc27ec274bcf1e627a98c02877be4b63


