# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 14ebaed18eb718f9c0442fed55ffcaa074dfec53
input_heaps:
695ca0c98695eb47932bf8888d4687b4ae9fbc07
b720e9ced5bfe31a4d11068fed553167efdd58b1
bc573c580f6cf52e30c8d6bb98a2b86ff57487eb


