# isabelle_session_info

session_name: HOL-Datatype_Benchmark
input_heaps: cb68bbecb0ed1fd634e66b332c9022b3f55bd474 a756d93ac176ab627fe515dc5c3d2087811b9820
sources:
1868a2527890d6631ee8dfea7e6b03774de21581
3064d755b77de209c340dc34fd15b1376576f403
41388104a4a5efe93e14149d743a56e1da702723
8948a7a1ae7df3be3f23f8a098a3d5c2f7ae1b92
c57202b4ffe9ff1ecbad147d413f3de8e9e5d302
eb83ec7fcb6977891e1775f2169f5e5e0492440e


