# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: cbe5c95738f41c4030bd8099e7ce475c2098593b
input_heaps:
be278b232693c4457b48f35ed313988dcb46ad67
c4435670593a15f412caccdb28e899584112224b
748f13571b33d18c0ef1a656265cc827cd376819


