# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 4f34d738d8a072b3f88fb743f883b2b106b4b1ac
input_heaps:
b2ce47e9fa30fa4e703e105006b480f3acd5f4d0
6b78c4edbeaa2893201fb3c136469bc43befa02a
80ef28b7a539d0e0dd92f2c23745981bcd59709c


