# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 6bff8eca5863bc360fbe2e2b0a5f03354d54f69b
uuid: 6e138c7c-c493-4ee5-805b-f3fbc486ca35
input_heaps:
f2c04b3a245c566a66a6acf19889f982d671348e
6a67644276429010a483254405a7feeda90e288f
fd453820fe958d1fee7dc97e4ad62f07a2b9f581


