# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: d3541ff6856e53d9a9f913fc96bc970fe178b28c
uuid: 8106a2ac-7c0d-4f12-b4f5-10e35ebd4e3c
input_heaps:
d67dd59f24d4648407eee957ef090d6e7353dc59
6da8ff0f6583832242a60e1b676145250cb53d21
7fb1bcbdc689c3704991b764b006bfc099d8bfbd


