# isabelle_session_info

session_name: IOA
sources: 29126c39ebc759108ba6d74ecb90fb5925219dc7
uuid: fa23e812-20c1-409d-993d-248a31fdf203
input_heaps:
7fa36be71927430279100a4a627b293498a11b23
b1b27881931da3e3fae70a1a4067440d5e6c57d8
9d9ae933fd0a42162a2299b75698e303dae373b0


