# isabelle_session_info

session_name: IOA
sources: 577c8a458b369411184c52ddb3d3c812911140f8
input_heaps:
d9b2e0d22de49dc8d1d07bea7961be77a8e56816
d3a3b5f07b3b30e7761815c70e8ff3a238d6dc0e
b204f0f6f302c119501f881a66ae71df221639cb


