# isabelle_session_info

session_name: IOA-NTP
sources:
31aa2314c60bf1df8a389d106629135074489fbc
34eb43422c09b403e5d5bb215a18af873d1882c3
4cd2445493953f5e1f43fb04190777558f683d60
6863e4a2203b68c8ef6f698415d995c95ff2f95b
6e0981caccf92a743bb9e20c77973ccc858a4b05
8c9e106d9465bbcb1f87caaa742c132dc403de58
9d986d6e1195b470db7007792eef960414eb2d33
c68deed042bde63e5190737f685c33ed8c0450fc
de04442d9a89a18b013fb327c8df684f4bf4358f
ed1ea0caea47d5f1ac2cd6d02c7c6eab9dbaa0d0
f3e5480bef8e7e52fcca915fef651be33104b5e6

input_heaps:
d38e002fb81c6e684e22dfb9a00446f1cfd993cd
c88cfa7fe983b8b87f38950dd0874ef6a0f062a5
01bd0b059fc253a64630add6c76331b07c0b1888
c9393c55c9d853606bbd02cfd3f01ace20ddb979


