# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 632dbbee789a4744e4a4db1da888f0a8f1caefe7
input_heaps:
6d85d7da629d04ca7c167e89ee6174421944b179
7faafba131fdb968e2d6381e53b58a0c877dd620
b036ec7fe1c195049bf582657c30d1758f895a38


