# isabelle_session_info

session_name: HereditarilyFinite
output_heap: d9d7752f1826fa147d99090bc55e0cde2ec9ac66
sources:
001dcd4d6a8d3cebe37f416fa2bfd07d87bbd6b1
12f77c17f595eedb9c71fc37f436f86ff7647a6c
3c5ac8e26f1721d8e10905b9ea177d85075bc738
6ef6bfcd3e21356d78d8377e82c11e1522283f67
a0d7a666e1ef01cff26fe69e59978baa40c126ac
ab06ca086aee730a79dddc1d42c28d5bd6136449
c23aabb00636d95c777ddd7eb7518b377c4c9fcf
df4a72d4c2ccdea476aa2a97ec6d075cba60850b
e528a9016bf702bd31b17e02bb7f07c640ce8059

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382


