# isabelle_session_info

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

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
182507163e45bbf725735e35871a5ba3be6c75e3


