# isabelle_session_info

session_name: IOA
sources: 966c3543ecdc3d7d7b8aa4a2a87046503bc7cc0c
input_heaps:
cd0e912ed62b565f923447ac15920f01cf16e661
978022e567c2431ebcf49bd9b03799e8cb79c960
d994301e739f0565fc0c85c2117a97bac4045ca0


