# isabelle_session_info

session_name: HereditarilyFinite
sources: 63c2cd94032cabae0f69a8228414a2d1d7508128
output_heap: c7aa5556ad4a0397afbe391105a05fe41836e184
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
a29a84bba8aa29c804c447ecf6bc83360b3be33c
402ad8d10c053d7ab99109311f4289da20bbcf70


