# isabelle_session_info

session_name: IOA
sources: ef766745a1cd10048bb8d1eb0136a727af72885a
input_heaps:
b3fb05f5e50942c4dcc807a50dcc11409ab39906
759571dd32091ee0444743824f9c8116972466af
05ad400047d12a8784473c927a47c6142253e609
4892b7dafda20a5888c75071224aed07fc5289c9


