# isabelle_session_info

session_name: IOA
sources: d0ceae6bcc76998a009a58428b56d23a9fead05a
input_heaps:
2b741fa2ed8a0e813cd5871c2da862936da19705
9f48442a01b557873bc8bbe04241e035c7b55e33
21af9cb1afbc700eb7e63f38988a39992d87b5fd


