# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: f98223c810a74b1c7cab70a19ce2fbccf67f2ae9
input_heaps:
0d299af725467f9971d4b5bdb3afa1308842af77
af5ce7345e4750b754492237c662f5ddd9ff936a
d7a3e5c89ce5d4df7e5b3f1633027476403f6d0d


