# isabelle_session_info

session_name: IOA
sources: ac05f2cc6c30be4093690c0fd65bd700a0e6b3bd
input_heaps:
c4657553ec539ee1cd3dbf9cf40b6479eb0e8be7
c09189980113121cb5f18aad2d7534bf09555b9d
dfb0a98615878a20b5d29e605e938797bb729243


