# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: ce24ac396efce1f60aa61b8b72ccac06f8666a9f
uuid: 223aaaab-fc35-4584-af6d-fa39778b35a9
input_heaps:
8ad5a9031d6debdb25f6a2d28327df038ef77817
042a873bc4c2d063090ad7ae9e8eaa3e07053193
6daf18f4855a1124051cbde926c9686f5570e093


