# isabelle_session_info

session_name: IOA
sources: 6f9a6c556183a78c2f2142fdca9e3e1066a9548f
input_heaps:
f695e2210c65e40e35d958c5ecfc154ad0d6ad65
874e40ba742cf3e6e99fb67087ea49c26880e3eb
2dfe51c8e06a77e0606046df32d1658db87cf054


