# isabelle_session_info

session_name: IOA
sources: 48feeb3f48a609254e48e5e1a0903dbad428e4db
input_heaps:
dbc373532a8de37e9abb2d2b3f29c7d794abd157
76f1b6b9c5508daaae4efe96776d5917ec90f735
95caf7e78f766939863d7137ecaca4c5b5165627


