# isabelle_session_info

session_name: IOA
sources: c4bc9bb084f2dbc1f8b570f321d0a51bb6b33c35
input_heaps:
8e59201648d7aa8ce728c4e17f1d57ee228b2810
f7012f5768972a97f450bfd6400e324efa13b311
78f74667abe534577a65a5c6e602f5d759d8c300


