# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: e977a80cb479dac2731614d804b69706f8f3220e
input_heaps:
d0d515547908f19c831c4a5ad20fc841e2d4f6a0
8c414b7ae99e8d72334ec5c4a4f3b914543dc534
bd9b926792a275fdfc7f498ba6615b436575350b


