# isabelle_session_info

session_name: IOA
sources: 7066efff9a132bccbfaa73baabdff3b11727ac5f
input_heaps:
caf53bc8268fc8dfb50be4ed535ead80069d9586
11d4952bf6f16d31d2122f86b553dc1d6cdd2c0b
f0e2fdedd7b7401336aa2b5c68bacc7a255d65dc


