# isabelle_session_info

session_name: HereditarilyFinite
sources: 1e4fa4da69aed4b6e92771084a728a7af2e07f8c
output_heap: d17dbf17bacaeb5b9f17baae91116b6accef9602
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ad6d44f7aedb014e340bd82c93157922e7ad3f04


