# isabelle_session_info

session_name: IOA-NTP
sources: 81a4e2dd766cc0cea470e03c2b13f01ce8ff6d38
input_heaps:
634a34b0a78430c8365c904b4a02a2bae50a7baa
da3f4711496f4ebba63bd289462f3fdd0cd836c3
2ec0a94b3cb0e3e484d20cf2e7a52a70d368dd55
1a71bd6219673b2d76bc0bad170e2b1e60f3bd3b


