# isabelle_session_info

session_name: IOA
sources: 2692478eac28751d78aacf70e1eaa45a8e2c5f5a
input_heaps:
03c94d74b41243bde92728fc7ab986b0070bd24f
6d31f412d8e65da7615dd163568a2f61b1002bfc
08743a871ec78ccdc62a7e628f3c9bc8dd1de404


