# isabelle_session_info

session_name: IOA
sources: ba3b763ce351df7b4fd2341428e70159e3b35ead
input_heaps:
a6fbef6a2193c181a33d1e950aa3f0abd88b68a5
3ca6854da93018cf5a079fd9b5bb5197e0340c09
e5a6197f8431e6bb45478322e2bcde3bd7178199


