# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 26381a2e58bd71c791bb50231c6bc9eea33abc01
input_heaps:
7273fdae3bfc71056220fb0fae99f3e681c62fd5
189351fcfea8ef516c3b9ffc4b0849f87c6f523a
7226c581766240d203bcd722c9ae8f777dc1efd4


