# isabelle_session_info

session_name: IOA
sources: 36af910910f7ee6392662684596a3cef6235bff3
input_heaps:
938e15381b816f3f1a92aa6a4c4c27eeaf3487ae
d1bd3d39ef70c98afeeea92fec14162c5407b6cd
bbc457438e89135511c63dbe4ff4ceced5024e34


