# isabelle_session_info

session_name: IOA
sources: 261d4a238425f873f28504b6bc787114661231a8
uuid: fb682a3d-9ff6-4c68-9f67-0277940d4135
input_heaps:
7c6f2b7437f5ebb54c9c7f19ce0aa45616568bd7
be8131a433bddd63b748362726e9657753469013
b7caba329f65d4590379d6786160ed3c9a8f1b4d


