# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 10117cf650f9a43fda829010e3664b321d2470e1
input_heaps:
fcb8d292400906ad61bee94a2a3dd8bb649ba641
902b77ef700ed1de4580dc7878a157715853f7cb
926772a406bf7c0c3f1e5757aad104330ccc638f


