# isabelle_session_info

session_name: IOA-NTP
sources: 1fa78674a760307ec93da54f30882b3e21bc66fa
input_heaps:
b5c424772a2a5b40f2f68f25414695f3cd309066
4421303c0db3669d059ce12e56ab74b4697966f2
7b39dc942c0d4779ec4458b7e66d3d6dc451b4e0
70aa3477a9029aaa89a87814af726d35b875badc


