# isabelle_session_info

session_name: IOA-NTP
sources: 558e705f2a69ddd7f06fefa5fd3f3d33d4e27eb2
input_heaps:
e73c8f63bd95850d065fbfafb34179614f242f89
69a950643537831e45281aa33a261ce80ba0e395
a8683b49d0a737024276829dd10dc9c3bf88e676
ad1a3c72b98b062e9db9d113736891102f2cfb8d


