# isabelle_session_info

session_name: IOA
sources: 4d4b465e2097064d17bd8bde6536264211e8b426
input_heaps:
ad9522bc18e2b2a6cf26599b560f2a9ea7596aee
b002d126cf91bb7c3419b108b7ca31e9b00c41f3
ac774038c38ce008516f504ef4d9968433e2eee5


