# isabelle_session_info

session_name: IOA
sources: f5e3b5c977cc6aaeb8eb6201ceccebe92cd31f38
input_heaps:
40d35f92060f57be7e534389481a5efb493217ff
23dce64ed4db5c6ce048649289ec788386d1a713
ffeab72e5800a26bbf18a6618450a9f710bfb5e0


