# isabelle_session_info

session_name: IOA-ABP
sources: 9c432c619e1e277b34dbf4b4d456acff7a4e6adf
input_heaps:
80336e722f2282f0e73859bdb2bc1deeb5e20e13
e71e14a4803a9741ead2aefcee7360a997c650e5
f0e4b19c5a70e21d7b04b134b66a93d0bd7ad64f
5d66420b6d0da65a941e3ea3313e120bbcd40ad3


