# isabelle_session_info

session_name: IOA-ABP
sources: 14141e84b8fd568f85a8618ac38f7d09e36f036c
input_heaps:
848658d617e1d31408814b70d854f0969b4d3dd4
982c966f6e75dd78217f02ee347fdcbadf6f26c2
4a91b0378458a25b79a30d005e804f494c31721a
2719190341461d719ab0e44a5c4ff0faee85fc5e


