# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 296cbf35346570c1adb77dfdb1e0b87b77bc8d2c
input_heaps:
76fd26aaacd6460a8a6de2c25fb172171219d3dc
ab3eeb1feb9ad89c49b8b08584c31bb8c8ae5660
106747b91dac89db78ea0c000b0451d736508401


