# isabelle_session_info

session_name: IOA-NTP
sources: e581c2be0d2bc3d7fbb98a06b2f515404b524d39
input_heaps:
0bf2a27c0ff6a611e74bb01f6f32875f555cab28
92784c842d19725f296c8ccac91815ef43f559b8
edb2ad3375556ef2d33d093a4459dc4a7573df99
d92346c9e6f78a3091bee6075f8cb460a9bcd414


