# isabelle_session_info

session_name: IOA
sources: ab636403787770ac00879aa385aad960cc80b3f4
input_heaps:
527f4d07d271485e54ee6fe3ee5cab5376511032
10ed61a85344e5dd4a80e5ff81fc8a14dd83e4ed
4f778a59a073c0746de2562d6219f69685c2737b


