# isabelle_session_info

session_name: IOA
sources: 3cdf264c93b751006f2d3fdc7504c82bfa194c45
input_heaps:
f9fe5181cb9478c198262b4c17f588ddff41df7c
b0692961ba4a44beefcdac6e2ebe2c86d91d5162
e5302a4154d121c7594a43f5f71df320e66731ec


