# isabelle_session_info

session_name: IOA
sources: 7476d14ad47931d34a8e2ad948bd43c9b2c7471f
input_heaps:
3a09df081446ee0ffc18a782a60162435ff26569
f98620677fe586b256f76996ab9fb926732156c9
6239b26414c92a4531ebcc04d985f8df4032af77


