# isabelle_session_info

session_name: IOA
sources: ed319db907deb3f54c5e0b881b75500c72ed3e0c
input_heaps:
7c5c7e34db96667b848e7c2a8b8524484040cab1
5066c9559403f5436cdd85e1104f600b2f18cd78
67d48e7cfe3d9d9a24e4fde47eb5350ad8604137


