# isabelle_session_info

session_name: IOA
sources: b5890bce5a50b7a88e1ee618c7d1cf73bd6997ac
input_heaps:
070c97b1fc03a84293ce36f48f7c320c6568d381
25f3cd71b7b9ab5695049d9f645e95d39465f5de
d7a9bbe9b572c3b224306841bf500e8274512c0f


