# isabelle_session_info

session_name: IOA-ABP
sources: 14141e84b8fd568f85a8618ac38f7d09e36f036c
input_heaps:
7a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d
c778faa6bf8be5df05c2dfef635e886ae01138d5
08f16121155242c6676ea67472d405d5f54a3b7b
89e3e1109019cb0e4621ec6e7aea5987df891820


