# isabelle_session_info

session_name: IOA
sources: 5a0bbf4d27d376c03304de0849ec4c84cbf0ba0e
input_heaps:
774d4d66473cedfcfaef21f8da022a76e69a4390
4339b0bb8d34235034b5063bc60c874a65b8f9a0
4d2f060ccf292316a8517a5c9db0c5846cbfc8ed


