# isabelle_session_info

session_name: IOA
sources: 43721a82e09e4b4f527deb7ffd5d668ff7ad5203
input_heaps:
76fd26aaacd6460a8a6de2c25fb172171219d3dc
ab3eeb1feb9ad89c49b8b08584c31bb8c8ae5660
680e1027d627d442edb99fe1bdbc72f39747f9ee


