# isabelle_session_info

session_name: IOA-NTP
sources: 8f71154e793a7640324ac5c2d17a6ec422c9bff6
input_heaps:
41dfddd2151ebee28efc9e26dbae12c72d1935da
81c9499a7df86d3b7533ed9c6efc8881fcc10f44
00c52217ee265f36cb0323afec3080794ee45c38
a57ca9cf3e663cbdc91ab4e7dcc46bbd7034550e


