# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: c4177ca588fb9693546b0b9837e8d5f78444d637
input_heaps:
2910a4ddca5ed320a79b5d7a8472877f5003c6d9
315bf5c235bb455547dcc26824308f3938426e05
91fd9eb5ac85034be689d5a4a5f2a5cf9340af9a


