# isabelle_session_info

session_name: HereditarilyFinite
output_heap: d059dfdcc8c0e3c2ce906bbd9f3832c06e0165e5
sources:
12f77c17f595eedb9c71fc37f436f86ff7647a6c
3c5ac8e26f1721d8e10905b9ea177d85075bc738
45f7fff17fbdbc853dc5f25944b0992e0363c5bc
6ef6bfcd3e21356d78d8377e82c11e1522283f67
a0d7a666e1ef01cff26fe69e59978baa40c126ac
ab06ca086aee730a79dddc1d42c28d5bd6136449
c23aabb00636d95c777ddd7eb7518b377c4c9fcf
df4a72d4c2ccdea476aa2a97ec6d075cba60850b
e528a9016bf702bd31b17e02bb7f07c640ce8059

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c


