# isabelle_session_info

session_name: IOA
sources: f7c8467b7ba308f9873151063ebf9e36075fecf2
input_heaps:
55985286d4b602ca5aea2674b7213139011fefc0
a7c04ff07535d0dc83cb9a37cfdf185725166ce5
25aa9f9cbf56db72036952bf22e9f36256b9542e


