# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 14ebaed18eb718f9c0442fed55ffcaa074dfec53
input_heaps:
6961fec4ded6b3eed849e7567739468922d3c226
1917700418a8a34a23e321dc0267535ca9af6102
8d2b79a1e3cb4b83abd9e5031623af80d16ef760


