# isabelle_session_info

session_name: HereditarilyFinite
sources: 4eebd46dfb9be4fe7c1a5d86d7a75fd2341bba83
output_heap: 2173060030494fd1b85de0c9c7b52791e359479a
input_heaps:
9667212091580fa4c30a7b10e6591774082fff36
af6044d1ba548f70bd68d24705f8ed6fb4aba65c
6bc7163ce4d3b4f24ad4dafbbce0bcad4ed1ed32


