# isabelle_session_info

session_name: IOA
sources: 5e8ea1bd5cd6b1d0af1ac8828f0632792b90f1c9
input_heaps:
86b56c8a9a539e895ed8d31c0f69ae143fdf0109
fcbcb977e730059a53bc653bcc4acbe376acf6ad
00cc0a7ba4cdc3b1bd5431eb2450f23d6d329edd


