# isabelle_session_info

session_name: IOA
sources: 1c240b2505812aea851b2a3540851c0514c2bec1
input_heaps:
f5c535eb8e289f9179f2cd93b57b66300861cb0f
a3bcb999b7efcff01c5d291a88ce943b9de5e75d
365fc526a9675cc61bde2705932cf55999b50b88


