# isabelle_session_info

session_name: IOA
sources: 7c8769694c105a8a8696e9378d52aa0055077c99
input_heaps:
675319d71f30fe1113ab62adde844862bf61566d
c1333403c22dc8fc0ae4e661507a58bdb1e66a48
bd3cdfb74f45c4f698bded497108a10ad739f632


