# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 34821570342f9853b7d6dd5700428f07b087346b
input_heaps:
957af7128c56069f82033b5e968057a2b85ba273
7680a58cdb0664b11a4e79f2ec2bcba369005015
185b89dce80237eb079229b008c7afbe0c08f59b


