# isabelle_session_info

session_name: IOA
sources: 807d5653478fb3f1b1092c8dc9c5a271138437cf
input_heaps:
59cfb008d82973f70adacd49cb832067f1ce6d0d
1b0de3ee83d720f252fb261525717bc582dfd961
a6ec4dc7566ac07bf27f3e38dcbc444c52c84236


