# isabelle_session_info

session_name: IOA
sources: c160795f04db28dfee3240be5950425fae1cf593
input_heaps:
002da1eaeee52b983075830d79ddcff9707ce7a9
c344d82e960a4baceb99dc7461784008bc1b9b93
75814e69fc272950727a4fb0c0209b4f12422361


