# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 7e74eb2556aef0484ced31d8a25659ff93b7db16
uuid: a8d1555e-5710-47d4-a8d4-ab8289510ec6
input_heaps:
b9d282957aa223601d52f84a817ca607725d2336
c178c9777d16793434d52b0438eb6f86f2c7d3c5
1bc30bca71fe536514610f66fe7694e103782a66


