# isabelle_session_info

session_name: IOA
sources: 2f8c08459a8b23dc89c7b7472fc6ee5f660d9a3d
output_heap: 718433cab455b1eb9c0db1c64cf532c59143e730
input_heaps:
fa72548ea64381a3258466aa0d212c84096a68ec
8d1621b83c6b83f04a9457e06e858acde63b0083
a5ed0cacff73199c94486be071da66aedeba1083


