# isabelle_session_info

session_name: IOA
sources: 0a7a589031d22ba89c07708d79f51a160117be41
input_heaps:
06a212243e05c5a7c923bfbaeac4ec358ce57654
662b38046f2d6e283935bf15699cabd0ac2015c1
cb90821dc1483e5989c6cc2fcead5bdd6f671395


