# isabelle_session_info

session_name: IOA
sources: 133c6918965688a93df8baaaa5bf9fb8a7101e42
output_heap: 5c9d5514b5c55a82f8c666b2a670946c6e8e94af
input_heaps:
a9ba4fcb27c61f2722def1490d5cc6ffd820a523
3e35f1f1494655d736fa0027db3480f1ebe85070
120285970e6e4b821edef8ffc499019b93e496a4


