# isabelle_session_info

session_name: IOA
sources: 3bdbe7c4ca59621d7f035a94139bee65ebfa2224
input_heaps:
2ab6afc53332b0678cc77dc53d23f8f23ad3ce19
470e85b8ee0fcd8c2c6b9a7daa17d466ca7b3c05
3c33568b66e27278bcdd97b9084cca8c405bf4c0


