# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 3b8ea02de7bfcb12af6a131e647bffec710e9bde
input_heaps:
0a23064c34709125a075cd68ce8f561e647f6953
6850f216aafc89fdeddfe90aae02e1cda8df6a36
d4244c8c8b45f34e99d88ce9efcf11cfc8d66586


