# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 8f7df9671f5242d28d3dae41d373b281e62ec54e
input_heaps:
9400524a2bf0062e34657c8242e59e39ce561b20
8112b346d345fdd1df303f366f2308e1ad40a1e5
0cdf6980063fd1aa93caf0f2c103ec507c60d585


