# isabelle_session_info

session_name: IOA-NTP
sources: 0d9d7e896b995a9a3deeb6e5148fbae7316d921c
input_heaps:
f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b
35eaa225201857107e827622fdda13b757fd8deb
99ecd7f7cfb43e2f575ac3077627e2c33001f83e
d96c32f8b2a195491e5f63fd5a64eece1939bb46


