# isabelle_session_info

session_name: HereditarilyFinite
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
sources:
05754dd887437794f1edd6882fb7d112f506e4c4
12f77c17f595eedb9c71fc37f436f86ff7647a6c
3c5ac8e26f1721d8e10905b9ea177d85075bc738
45f7fff17fbdbc853dc5f25944b0992e0363c5bc
6ef6bfcd3e21356d78d8377e82c11e1522283f67
a0d7a666e1ef01cff26fe69e59978baa40c126ac
ab06ca086aee730a79dddc1d42c28d5bd6136449
df4a72d4c2ccdea476aa2a97ec6d075cba60850b
e528a9016bf702bd31b17e02bb7f07c640ce8059
f9ad8b0e4dc237bddb1a7187abcb79226fec1f90


