# isabelle_session_info

session_name: IOA
sources: d19958a4e5421ed70a9e2bffb52b067ed6ca381f
input_heaps:
6c8c27efb0c8ebba6c08dd56f4b9bc33d58ea855
bd9e806d713320e48df8a9e586a2a05529fa70cc
8a13c13ba4aa78d7279908731c7db1833032dee6


