# isabelle_session_info

session_name: IOA-ex
sources:
600351b420a2a1e509c529a1cdc650c3f43945ab
64f13f5ead5c299fc21eafd0f4eb3419e8a3b86d
9b860a96c6abb9cc1178b91c639d4840ed42421a

input_heaps:
d38e002fb81c6e684e22dfb9a00446f1cfd993cd
c88cfa7fe983b8b87f38950dd0874ef6a0f062a5
01bd0b059fc253a64630add6c76331b07c0b1888
c9393c55c9d853606bbd02cfd3f01ace20ddb979


