# isabelle_session_info

session_name: IOA
sources: 9d4ea2830139e647289773f42cad66435af05a95
input_heaps:
6f0d95008f7369e66009336a552999da7ddc5ae8
ba6229f15de8ffb8ccd0be7f076e28ae3292cd29
4b9dfad2859f87f09a6899e139a5bb20de51e1fe


