# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 401192c5fce0381070d51b51cbea673620b813e8
input_heaps:
f46bcf61c269616a1bc9cb60b8eafeb409f933c6
84c199168b6eb1cc2abc672e3cc17a57ada0e133
1bf98e26074b74a98287e69f6a4b87c89bc11ad3


