# isabelle_session_info

session_name: IOA
sources: 2f8c08459a8b23dc89c7b7472fc6ee5f660d9a3d
input_heaps:
f632fb1d6da65e568b647458c2425854ecfeefb4
553c29b8f85b5e7829a63b8ac86f1fd7bfc17324
d2a8f4a708578f459ddaaaf4355946839af744f5


