# isabelle_session_info

session_name: IOA
sources: 39c5742ec61bc774a900c5813a0faf4c5a86c746
input_heaps:
cb3b4b88f86f707d123395dc0f54d7e406fb9231
2f7affaa3f1e641179075b6ed2189143771cd710
ac91dd2fd217bd61e6567123a6de5097227310e0


