# isabelle_session_info

session_name: IOA-NTP
sources: 1fa722536119974935f008cae038d7744e27e953
input_heaps:
b1e9d096eff3e2d2097c331d061d199548b5d3ea
d6c569c3cb498e2d723179c18cc1cd66ffdd721e
8c8c40f151aa79a5e88a37fecd8a88898973ad87
5cdacf30a8ab01ed3b8f6fb5179d31f91e1c50f5


