# isabelle_session_info

session_name: HOL-Datatype_Benchmark
sources: 3087220747d9f4c87eaf7b0360a6b46f8f34e4a0
input_heaps:
2b6e830346a776cafac292932ffa567cce45fa5e
d413af43dd20817cd93b29090cb02323a6fe03b6
834695d17e258264dcd78801ea238262a4e2215b


