# isabelle_session_info

session_name: IOA
sources: 26b3c6a34438d698b4401855b82ce3236dd47f50
input_heaps:
00257e3a0e8c31ed9cd42bba4b978a107ebfb35c
d5d0f42e084b29f8cdaff74be02785beacd11284
eada8b8a6190b28720a30b5aa1a41ef2031ac68c


