# isabelle_session_info

session_name: IOA
sources: 6f9a6c556183a78c2f2142fdca9e3e1066a9548f
input_heaps:
94b8e49d0043e944a495f19c32608cf5b0a49aab
f8d5f0cd35173d4d81fed47d6fa807912b821f31
18ad2e9348759e39f43e6596ffaccb67fd661c04


