# isabelle_session_info

session_name: IOA
sources: 8a0616e04759c4a36cc0fbfd993511670346a410
input_heaps:
275e94d511fe2870fff5f93bcaa57066d115c4cf
36730116a36c57071f8a7dcd0a475921707491c0
77889944e2ecf548c11fbe4f22f42845ecda6b6c


