# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: b8b17a46c4c66d96323d85abb2c94efee34de0d8
uuid: d8bb6187-5dfe-4aa5-887f-3ed60b01650d
input_heaps:
8c2ad67f41d2a030f0393e2fbd1c88a540b55845
2fa6c96befd2c17f29a768fc6a6e8049b259612c
68fdfbd68244a9601fd52de5f492afc81d3b228a


