# isabelle_session_info

session_name: IOA-ABP
sources: 888a4a0a6d2abbc705bd46f6798cf3cc6b4d1971
input_heaps:
3e7cae349853bb3f654071d127673716b1e97131
e76faa548233303457fe1f8acd3f956c35127c42
d27a9bd39f9a33803ac413249ea34dbe1a5d9ad1
db67883fe6fb46af9c70ca3f98f5ca5e4af1da83


