# isabelle_session_info

session_name: IOA-NTP
sources: 480ffc2dda5549e2bb1f41e4e8cc6805e84defa3
input_heaps:
e4d79c85096733a9749503fded0b49c9d45651d8
236eea99afb1a34d6a727b632510aac96f68951c
e0f9c5f5b2ecde74457c609d6667503f4662af65
433c9be785a76e9f9c36c88d5f7f5899d63a547f


