# isabelle_session_info

session_name: IOA-NTP
sources: 9fbaed940b218294bb2a9b5250164e50e5447311
input_heaps:
edac997306bdbbc7a1ea2002f2641008ce6aae62
b77918cb16b79b554f672156cebeb1531c9272e3
ecb055a6ac9500299e195b95daaafb8d2fb7122d
a552ba9ae215a5a850e47219ac6450f9ff87a3bf


