# isabelle_session_info

session_name: IOA
sources: 01699c9e52a7cc6e1e1b355553da473bbd5799b4
input_heaps:
ebe1e700d1ea7c31a82b493fe8285299f0402806
6870c15ecc01bf16aa8d754cd67c6996a7d04f84
d87bf2cfcb2b044d26518f905df778fe16bfb9c9


