# isabelle_session_info

session_name: IOA
sources: 74d186d79864c8ce491f6290363ce66937c8d80b
input_heaps:
7808597da192bbcb2ebaa3cac06e97230741c431
57dbdeff4c4bd5f38c22f403ad7e18117e3c10dc
383f7dd78ffd15fde256528e055d483b11b28bf7


