# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: af4f3b24ae85d2cb75141c555da856eb32d7a06d
input_heaps:
b7d1e0bcad61ff24291cc398a6e6073b9f0cbfa7
f280cf7d21e08078ebb16ca87dcdef533f95eac6
f9e759731ee91542540713d2286bfff99be9519f


