# isabelle_session_info

session_name: IOA-ex
sources: 776fc8561bb955dceae57f94a01297ed9fefd0e0
input_heaps:
c3eed4da8d2aaf2ad54b900993bdd6f7717404e6
f5ae9f289847647563f612b35004c35ff6735c80
6a0495497e4fe29e748a288ba8138e6ef472d52a
2710d2628976f27c1fb4bf51156786327795d1cb


