# isabelle_session_info

session_name: IOA-NTP
sources: 59b89b372b5252616d7eaa4692d1830da7bda1b0
input_heaps:
0c5a4afe0b9501e0ce9b4d420c798cac3bea6e73
d8f435e385accbfaccb5be9a9486618794bd571c
4441b24078316e65e34ffbe424fa3a385f2edee4
a94458964f0f6ee8e3058b8aea4f22e70492e533


