# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: b3a25bb05f818d624eafe048a226d68d65f82410
input_heaps:
8a6a1967a85148d05149fc8f258f22e5ae5ca538
5117ce8f6723f2ccc7d4abf78308ec3ff8c833f8
fd08f13db768b398fd5377aed413b6cd35c94895


