# isabelle_session_info

session_name: IOA-NTP
sources: b33409e1a92bfee7b037d978dd04af7f49fc227a
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
24be91445dfd95ccebd8630650aef4cacbc92e8b
9d45b45b04770ad8f814958e40d780ac8d52e233
4b8e17d1b2931e7b223e32dcc9541ba4feceafd8


