# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources:
3064d755b77de209c340dc34fd15b1376576f403
8948a7a1ae7df3be3f23f8a098a3d5c2f7ae1b92
8fc549800fb56fe9ba8b17177611aeca40bb5cd2
eb83ec7fcb6977891e1775f2169f5e5e0492440e

input_heaps:
136113a3be05252bb43c72759b745103f0e24756
5368723dfb3f2e1392344c94d5d289328eecbba9
1d1c3e121e21149c3259b6b6571f5c22fb7a9f7e


