# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: e5e2d77283ce59fd89cd0e3a2993b862a12b0fa2
input_heaps:
c76929b29fb501c0707c014cb283a2ded47b4e36
17c70744705ab67f304331b243d3ae7a45b8980f
1cf5c2fb1f5fb56ccdb24b8e1264e6abc91736e5


