# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 22b5a48517e66b6c9c877e1a903a3868b91ea1f2
input_heaps:
357008b0b2682019b352f15558029e5fdc78e3cf
6ed366e7eed5721240602f54453f44d2f0e04ea4
52f61a365cdb0bcf46a3239eb16f67f805f07d53


