# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 51c75473a44717f75b7b10bd5808d1bbfe755663
input_heaps:
2659ecda851d7452b7595126eb2a4699eabeda38
890f4cd952649b9567a6dd5c0bb3d155e02ba420
71e8ac1d58f88c3c1a3d48f9a5632d3f689812d7


