# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 85f37be683a84079c96f69f423ab7ee5be5cc2fe
input_heaps:
bae0b426f6b4d4eeda0a51832f133b997c1cf639
7dda90dd71cc7c967ad3e608f75d449b48b28159
63ecdd2358e5ead29d00518899be34a07c82c7eb


