# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 82560181b2a955f73e2f7ed7706422d1cc779a1c
uuid: 2235a4b7-2de2-4004-8041-a24262c5c00b
input_heaps:
56c0177230dc66ddc7d6302fbef34f62e09451a8
843e8f73aff032c37e1b1ade7b8fb3a2dbe74cf5
d245a36e09f03531eb97ce9a3761aef2650c474a


