# isabelle_session_info

session_name: IOA
sources: 4f315f4d549b706b4ad255297aeec6cae645e736
input_heaps:
4a94cf884247418bea313a9db35e86db2b51269e
14acf31a4772521a6ac0f6c0b1425c28333b3578
02eecbf62e0f4be248d05a011fa3f0fc7297fe09


