# isabelle_session_info

session_name: IOA
sources: 2062c01a2ea57e5cd32f25459db96320718ce43e
input_heaps:
cc4f324134101a29125fabe50ef51b536e28ea56
047d2e97f704b6e2b320b2d6445d72a0e1374246
3ebd21037d595562adf488da3edd89da0bb63742


