# isabelle_session_info

session_name: IOA-ABP
sources: 8ed6c5c324f2e5990882c44e851c94cb21e99fe8
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1
ab343e3c85422366ae7fca07d3711e53569f94a1
e1b39b4c8a1fd4902e5c8d9a66b80e4611be7ddf


