# isabelle_session_info

session_name: Abstract_Completeness
sources: 86711559d10eddad82c9bb624e72dc405a2dcba5
output_heap: ff8f60947d125c350f23acffa6c31f37ba809dc4
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
24be91445dfd95ccebd8630650aef4cacbc92e8b
19cc2c37b59cd619e8d5c50b1c9e3eeada232480


